cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
eb16449372
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