summaryrefslogtreecommitdiff
path: root/debian/patches/makefile.dpatch
Commit message (Collapse)AuthorAge
* Updated and removed old patches.Gravatar Samuel Mimram2008-07-25
|
* New upstream release.debian/8.1.pl2+dfsg-1Gravatar Samuel Mimram2007-10-15
|
* Uploading to unstable.debian/8.1+dfsg-3Gravatar Samuel Mimram2007-04-09
|
* Coq 8.1 becomes trunk.Gravatar Samuel Mimram2007-03-24
|
* Added makefile.dpatch in order for ocamlopt not to be called when compiling ↵Gravatar Samuel Mimram2006-04-30
on non-native archs.