1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-17 03:25:46 +00:00
freebsd-ports/math/coq
Johan van Selst a51ab73eab - Update to 8.1
- Grab maintainership
- Remove FreeBSD-specific workaround that shouldn't be needed anymore
2007-03-25 18:44:33 +00:00
..
distinfo - Update to 8.1 2007-03-25 18:44:33 +00:00
Makefile - Update to 8.1 2007-03-25 18:44:33 +00:00
pkg-descr
pkg-plist - Update to 8.1 2007-03-25 18:44:33 +00:00