| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2016-08-10 | Spack packages now PEP8 compliant. | Todd Gamblin | 1 | -0/+1 |
| 2016-05-11 | Correct LLNL LGPL license template for clarity. | Todd Gamblin | 1 | -0/+24 |
| 2016-05-10 | Kripke variants. | Todd Gamblin | 1 | -3/+7 |
| 2016-05-09 | clean up Kripke package and dependencies. | Todd Gamblin | 1 | -7/+17 |
| 2016-05-09 | Removed FIXME comments | Tanzima Z. Islam | 1 | -16/+0 |
| 2016-05-09 | Adding a new package: Kripke from the public tar ball | Tanzima Z. Islam | 1 | -10/+28 |
| 2016-05-06 | Adding a new package file for Kripke | Tanzima Z. Islam | 1 | -0/+16 |
 |
index : spack | |
| A flexible package manager that supports multiple versions, configurations, platforms, and compilers. | root |
| summaryrefslogtreecommitdiff |