Package: coq / 8.2.pl2+dfsg-1

Metadata

Package Version Patches format
coq 8.2.pl2+dfsg-1 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
0001 Disable micromega tests.patch | (download)

test-suite/check | 4 2 + 2 - 0 !
1 file changed, 2 insertions(+), 2 deletions(-)

 
 [patch] disable micromega tests

Workaround for bug #570920.
0002 Remove dependency to Unix from module Profile.patch | (download)

Makefile.build | 4 2 + 2 - 0 !
lib/profile.ml | 8 5 + 3 - 0 !
lib/profile.mli | 4 1 + 3 - 0 !
3 files changed, 8 insertions(+), 8 deletions(-)

 
 [patch] remove dependency to unix from module profile