zhangyiss/spack
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
2,651 Commits 246 Branches 186 Tags 666 MiB
d7847ff768
Commit Graph

5 Commits

Author SHA1 Message Date
Todd Gamblin
e3115aa505 Kripke variants. 2016-05-10 00:31:06 -07:00
Todd Gamblin
2e0ee5404d clean up Kripke package and dependencies. 2016-05-09 17:14:25 -07:00
Tanzima Z. Islam
23ec6c6bb0 Removed FIXME comments 2016-05-09 16:34:27 -07:00
Tanzima Z. Islam
045e5bd458 Adding a new package: Kripke from the public tar ball 2016-05-09 16:22:07 -07:00
Tanzima Z. Islam
9f212e7201 Adding a new package file for Kripke 2016-05-06 13:50:34 -07:00