debian specific patch information for alt-ergo / 0.91-2

Summary

Package Version Package Type Source Package Format
0.91-2 Debian-diff 1.0

Debian packaging Information

Diff file alt-ergo_0.91-2.diff.gz
Size10689
MD5sum47c85848a4dbf7991e0cd6782a9676bd
./debian only changes view download

"series" style patches

patch summary view raw
0001-No-need-to-activate-debug-flag.patch
 Makefile.in |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
view download
0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.patch
 Makefile.in |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
view download
0003-Fix-a-typo.patch
 cc.ml |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
view download