blob: 4eda9b26c80ad21ba51ecbb7887de8ac4002ed46 (
plain)
1
2
3
4
5
6
7
8
9
10
|
(defsystem "mulkutils"
:description "Random utilities by Matthias Benkard."
:version "0.3pre1"
:author "Matthias Benkard <matthias@benkard.de>"
:licence "GNU General Public License, version 2 or higher"
:depends-on (:arnesi :unification)
:components ((:file "package")
(:file "lambda")
(:file "unification"))
:serial t)
|