diff options
Diffstat (limited to 'mulkutils.asd')
-rw-r--r-- | mulkutils.asd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mulkutils.asd b/mulkutils.asd index 4eda9b2..e957009 100644 --- a/mulkutils.asd +++ b/mulkutils.asd @@ -1,6 +1,6 @@ (defsystem "mulkutils" :description "Random utilities by Matthias Benkard." - :version "0.3pre1" + :version "0.3" :author "Matthias Benkard <matthias@benkard.de>" :licence "GNU General Public License, version 2 or higher" :depends-on (:arnesi :unification) |