2 Commits

Author	SHA1	Message	Date
larstvei	0d1d2687b2	Update maude	2023-05-04 00:09:34 +02:00
larstvei	c625468d24	Add local package for Maude ... The "official" package for Maude is broken on darwin. This one downloads and installs the binary. Not as nice as building from source, but much easier...	2022-11-20 13:17:46 +01:00