Robin Gloster
|
43545db187
|
gdome2: turn off hardening fortify
|
2016-02-07 19:53:34 +00:00 |
|
Pavan Rikhi
|
a6e9175b6d
|
gdome2: fix expression
|
2015-01-07 02:15:26 -05:00 |
|
Tobias Geerinckx-Rice
|
c64257b8e5
|
Fix user-facing typos (mainly in descriptions)
|
2014-12-30 03:31:03 +01:00 |
|
Vincent Laporte
|
c4197ff4dc
|
Labels gdome2 as broken.
Closes #4242
|
2014-09-24 04:16:36 +01:00 |
|
Mateusz Kowalczyk
|
7a45996233
|
Turn some license strings into lib.licenses values
|
2014-07-28 11:31:14 +02:00 |
|
Russell O'Connor
|
88ec92d14c
|
Matita and its dependencies.
svn path=/nixpkgs/trunk/; revision=25328
|
2010-12-31 17:48:55 +00:00 |
|