Package: ladr / 0.0.200911a-2.1

Metadata

Package Version Patches format
ladr 0.0.200911a-2.1 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
01 libtoolise.patch | (download)

apps.src/Makefile | 62 31 + 31 - 0 !
ladr/Makefile | 205 104 + 101 - 0 !
mace4.src/Makefile | 10 5 + 5 - 0 !
provers.src/Makefile | 26 13 + 13 - 0 !
test.src/Makefile | 10 5 + 5 - 0 !
5 files changed, 158 insertions(+), 155 deletions(-)

---
03 no 2.5isms.patch | (download)

utilities/gvizify | 5 4 + 1 - 0 !
1 file changed, 4 insertions(+), 1 deletion(-)

 removes python 2.5isms from utility scripts, namely gvizify.