B. Watson
|
c96ceb1745
development/maude: Fix 32-bit build.
|
2 tahun lalu |
Matteo Bernardini
|
b84a579f9e
development/maude: Updated for version 3.1.
|
2 tahun lalu |
Heinz Wiesinger
|
63daf9f79a
All: Support $PRINT_PACKAGE_NAME env var
|
3 tahun lalu |
Heinz Wiesinger
|
7f26b9929f
All: SlackBuilds run in the directory they are in
|
3 tahun lalu |
Heinz Wiesinger
|
fd9245fe0a
All: Change SlackBuild shebang to /bin/bash
|
3 tahun lalu |
Roberto Metere
|
ee7a59f5a6
development/maude: Added (high-performance reflective language).
|
8 tahun lalu |