mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-31 10:46:16 +00:00
Code Issues Releases Activity
3102754761
freebsd-ports/math/isabelle
History
Tilman Keskinoz 39085fae18 Drop Maintainership 
PR:		197402
Submitted by:	Timothy Beyer
2015-02-20 15:42:44 +00:00
..
files
distinfo
Makefile Drop Maintainership 2015-02-20 15:42:44 +00:00
pkg-descr
pkg-plist