JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
78,461 Commits 2 Branches 0 Tags 13 GiB
fed49425c5
Commit Graph

4 Commits

Author SHA1 Message Date
Robin Gloster
fed49425c5 Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-03-03 16:11:55 +00:00
Vincent Laporte
c2a2c2ecd4 ltl2ba: fix build on darwin 2016-03-03 10:24:13 +01:00
Robin Gloster
321c57d69e ltl2ba: turn off format hardening 2016-02-07 16:34:05 +00:00
Austin Seipp
d1a32414cd nixpkgs: add ltl2ba 1.1 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-05-01 02:30:34 -05:00