This website requires JavaScript.
Explore
Help
Sign In
mirror
/
freebsd-ports
Watch
1
Star
0
Fork
0
You've already forked freebsd-ports
mirror of
https://git.FreeBSD.org/ports.git
synced
2024-12-11 02:50:24 +00:00
Code
Issues
Releases
Activity
a5148894fa
freebsd-ports
/
math
/
isabelle
History
Mark Linimon
cb8d6c382f
Move the USE_PERL definitions, and others, before pre.mk inclusion. This
...
will be needed to conditionalize bsd.perl.mk inclusion. Approved by: maintainer
2007-09-29 20:58:03 +00:00
..
files
Update port: math/isabelle
2007-09-10 12:11:09 +00:00
distinfo
add SHA256 checksum
2006-06-07 14:19:41 +00:00
Makefile
Move the USE_PERL definitions, and others, before pre.mk inclusion. This
2007-09-29 20:58:03 +00:00
pkg-descr
pkg-plist
Update port: math/isabelle
2007-09-10 12:11:09 +00:00