pkgsrc/lang/coq/patches
adrianp 55bb4bd887 - Update of coq from 7.4 to 8.0pl2
- Initial patches supplied by Antoine Reilles, thanks !
- Lots of changes/fixes/updates, see: CHANGES
2005-02-05 11:19:02 +00:00
..
patch-aa