series « patches « debian - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

path: root/debian/patches/series

blob: 7ce5e4c817160e5c6cbab77d16d563ff8e0a8e3c (plain)

1
2
3

0001-Disable-micromega-tests.patch
0002-Remove-dependency-to-Unix-from-module-Profile.patch
0003-Fix-build-with-camlp5-6.02.1.patch