mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-23 04:23:08 +00:00
Code Issues Releases Activity
de21616c1c
freebsd-ports/math/coq/files
History
Johan van Selst 1bcf11304d - Update coq to 8.3pl1 
- Remove obsoleted patch (fixed in dist)
2011-02-12 12:30:08 +00:00
..
ide-coqide.diff