This website requires JavaScript.
Explore
Help
Sign In
diogo
/
yap-6.3
Archived
Watch
1
Star
0
Fork
0
You've already forked yap-6.3
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
This repository has been archived on
2023-08-20
. You can view files and clone it, but cannot push or open issues or pull requests.
02fb454f3f
yap-6.3
/
packages
History
Vitor Santos Costa
5e26f604c6
fix makefiles to define $exec_prefix
2010-03-05 10:22:48 +00:00
..
chr
@
99090acf47
fix makefiles to define $exec_prefix
2010-03-05 10:22:48 +00:00
CLPBN
installation patches from Keri Harris
2010-03-05 08:15:02 +00:00
clpqr
@
dc903cf885
fix makefiles to define $exec_prefix
2010-03-05 10:22:48 +00:00
cplint
installation patches from Keri Harris
2010-03-05 08:15:02 +00:00
jpl
@
cb4b299493
fix makefiles to define $exec_prefix
2010-03-05 10:22:48 +00:00
PLStream
fix makefiles to define $exec_prefix
2010-03-05 10:22:48 +00:00
plunit
fix makefiles to define $exec_prefix
2010-03-05 10:22:48 +00:00
ProbLog
fix makefiles to define $exec_prefix
2010-03-05 10:22:48 +00:00
sgml
fix makefiles to define $exec_prefix
2010-03-05 10:22:48 +00:00
swi-minisat2
fix makefiles to define $exec_prefix
2010-03-05 10:22:48 +00:00
udi
updates to UDI package
2009-04-02 17:34:42 +01:00