kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/maude
History
kristerw a0e65e6496 Update lang/maude to version 2.0.1. 
Maude 2 extends and generalizes Maude 1 to allow more expressive
modules and a wider range of computational commands.

The license has been changed to the GNU General Public License.
2003-12-31 01:20:35 +00:00
..
DESCR Move pkg/ files into package's toplevel directory 2001-11-01 00:20:13 +00:00
distinfo Update lang/maude to version 2.0.1. 2003-12-31 01:20:35 +00:00
Makefile Update lang/maude to version 2.0.1. 2003-12-31 01:20:35 +00:00
MESSAGE Update lang/maude to version 2.0.1. 2003-12-31 01:20:35 +00:00
PLIST Update lang/maude to version 2.0.1. 2003-12-31 01:20:35 +00:00