Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-12-04 00:56:07 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
62383 commits 323 branches 1148 tags 291 MiB
Commit graph

4 commits

Author SHA1 Message Date
Alan Aversa
170cd24f03 academic/cryptominisat: Updated for version 5.6.8. 
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
 2019-03-24 09:56:46 +07:00
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