about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/ltl2ba/default.nix
AgeCommit message (Expand)AuthorFilesLines
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm1-0/+1
2021-01-16treewide: stdenv.lib -> libBen Siraphob1-4/+4
2020-07-05ltl2ba: 1.2 -> 1.3R. RyanTM1-2/+2
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-2/+2
2018-11-19ltl2ba: 1.2b1 -> 1.2R. RyanTM1-2/+2
2018-03-14ltl2ba: 1.1 -> 1.2b1Ryan Mulligan1-2/+2
2016-07-15Merge remote-tracking branch 'upstream/master' into hardened-stdenvRobin Gloster1-1/+1
2016-06-20Captialize meta.description of all packagesBjørn Forsman1-1/+1
2016-03-05Use general hardening flag toggle listsFranz Pletz1-1/+1
2016-03-03Merge remote-tracking branch 'upstream/master' into hardened-stdenvRobin Gloster1-1/+6
2016-03-03ltl2ba: fix build on darwinVincent Laporte1-1/+6
2016-02-07ltl2ba: turn off format hardeningRobin Gloster1-0/+2
2014-05-01nixpkgs: add ltl2ba 1.1Austin Seipp1-0/+24