mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-26 05:02:18 +00:00
67fac3c3e7
- Make all files in ${DATADIR} loadable by filename without an explicit path,
and without setting MAUDE_LIB. Currently only
${DATADIR}/prelude.maude is loaded (during startup).
- Add option FULL_MAUDE (default: on) for user convenience. This
installs full-maude26b.maude into ${DATADIR}.
- previous maintainer turns port over to committer
PR: ports/162955
Submitted by: joemann@beefree.free.de
Reviewed by: info@rickvanderzwet.nl
Approved by: maintainer, gabor(mentor)
Feature safe: yes
5 lines
267 B
Plaintext
5 lines
267 B
Plaintext
SHA256 (Maude-2.6.tar.gz) = a5ba79bf3d30565c874e80b3531b51a7e835b600e86cac82508a6eb9e15f4aa0
|
|
SIZE (Maude-2.6.tar.gz) = 1600026
|
|
SHA256 (full-maude26b.maude.zip) = 57ebfc41056b7afc2be48983f6a1311e817d23eeaaed71023471bc4edaf6b128
|
|
SIZE (full-maude26b.maude.zip) = 154881
|