packages/XSB.git
5 years ago- saving work; install and files not finished master
Jakub Bogusz [Fri, 27 Apr 2012 19:34:22 +0000 (19:34 +0000)]
- saving work; install and files not finished

Changed files:
    XSB-configure.patch -> 1.1
    XSB.spec -> 1.1

This page took 0.095303 seconds and 4 git commands to generate.