Package: linksem / 0.8+dfsg3-2

Metadata

Package Version Patches format
linksem 0.8+dfsg3-2 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
0002 change linksem install dir.patch | (download)

src/no_ocamlbuild.mk | 3 2 + 1 - 0 !
1 file changed, 2 insertions(+), 1 deletion(-)

 
 change linksem install dir
0003 change check lem.patch | (download)

src/lem.mk | 4 2 + 2 - 0 !
1 file changed, 2 insertions(+), 2 deletions(-)

 
 change checking of lem