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