Brian Homerding
|
a33f52cfb0
|
Fixed minor issues from Cmake conversion (#5024)
|
2017-08-08 23:47:34 -05:00 |
|
Adam J. Stewart
|
c7df12f698
|
Massive conversion from Package to CMakePackage (#4975)
|
2017-08-05 10:15:18 -05:00 |
|
Akhil Reddy Patlolla
|
6bdc373100
|
Added Proxy App tag (#4917)
* Added Proxy App tag
* NO changes except proxy app tag
|
2017-07-27 15:56:59 -05:00 |
|
Todd Gamblin
|
cac4362f64
|
Make LICENSE recognizable by GitHub. (#4598)
|
2017-06-24 22:22:55 -07:00 |
|
Todd Gamblin
|
240f1fd223
|
Spack packages now PEP8 compliant.
|
2016-08-10 16:33:39 -07:00 |
|
Todd Gamblin
|
e7ced54369
|
Correct LLNL LGPL license template for clarity.
|
2016-05-11 21:22:25 -07:00 |
|
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 |
|