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
3,474
Commits
2
Branches
6
Tags
146
MiB
2c53542bb1
Commit Graph
3 Commits
Author
SHA1
Message
Date
Vitor Santos Costa
5e26f604c6
fix makefiles to define $exec_prefix
2010-03-05 10:22:48 +00:00
Vitor Santos Costa
2685a8449d
installation patches from Keri Harris
2010-03-05 08:15:02 +00:00
Vítor Manuel de Morais Santos Costa
7058b6b35f
minisat swi interface package.
2009-11-11 10:56:37 +00:00