Commit message (Expand) | Author | Age | |
---|---|---|---|
* | ltl2ba: 1.1 -> 1.2b1 | Ryan Mulligan | 2018-03-14 |
* | Merge remote-tracking branch 'upstream/master' into hardened-stdenv | Robin Gloster | 2016-07-15 |
|\ | |||
| * | Captialize meta.description of all packages | Bjørn Forsman | 2016-06-20 |
* | | Use general hardening flag toggle lists | Franz Pletz | 2016-03-05 |
* | | Merge remote-tracking branch 'upstream/master' into hardened-stdenv | Robin Gloster | 2016-03-03 |
|\| | |||
| * | ltl2ba: fix build on darwin | Vincent Laporte | 2016-03-03 |
* | | ltl2ba: turn off format hardening | Robin Gloster | 2016-02-07 |
|/ | |||
* | nixpkgs: add ltl2ba 1.1 | Austin Seipp | 2014-05-01 |