Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-11-06 08:26:50 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
60620 commits 323 branches 1139 tags 284 MiB
Commit graph

3 commits

Author SHA1 Message Date
Willy Sudiarto Raharjo
fa711176ab
academic/cryptominisat: Fix MD5SUM. 
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
 2018-12-26 02:35:20 +07:00
Alan Aversa
cdc5c40e52 academic/cryptominisat: Updated for version 5.6.6. 
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
 2018-12-22 01:24:33 -09:00
Alan Aversa
c441188f8d academic/cryptominisat: Added (SAT solver). 
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
 2018-09-14 09:26:36 +01:00