mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-12 03:00:28 +00:00
Code Issues Releases Activity
118dee2cf7
freebsd-ports/lang/maude
History
Li-Wen Hsu c07192f844 - Update to 2.7.1 
- Add CVC4 support option and enabled by default
- Unbreak on aarch64, sbrk is not used anymore
- Remove build date to make the build reproducible
- Pass maintainership to submitter
- Pet `portlint -abct`

PR:		231443
Submitted by:	Greg V <greg@unrelenting.technology>
2018-12-12 05:30:24 +00:00
..
files - Update to 2.7.1 2018-12-12 05:30:24 +00:00
distinfo - Update to 2.7.1 2018-12-12 05:30:24 +00:00
Makefile - Update to 2.7.1 2018-12-12 05:30:24 +00:00
pkg-descr
pkg-plist - Update to 2.7.1 2018-12-12 05:30:24 +00:00