summary refs log tree commit diff
path: root/pkgs/applications/science/logic/ltl2ba
Commit message (Expand)AuthorAge
* treewide: stdenv.lib -> libBen Siraphob2021-01-16
* ltl2ba: 1.2 -> 1.3R. RyanTM2020-07-05
* treewide: name -> pname (easy cases) (#66585)volth2019-08-15
* ltl2ba: 1.2b1 -> 1.2R. RyanTM2018-11-19
* ltl2ba: 1.1 -> 1.2b1Ryan Mulligan2018-03-14
* Merge remote-tracking branch 'upstream/master' into hardened-stdenvRobin Gloster2016-07-15
|\
| * Captialize meta.description of all packagesBjørn Forsman2016-06-20
* | Use general hardening flag toggle listsFranz Pletz2016-03-05
* | Merge remote-tracking branch 'upstream/master' into hardened-stdenvRobin Gloster2016-03-03
|\|
| * ltl2ba: fix build on darwinVincent Laporte2016-03-03
* | ltl2ba: turn off format hardeningRobin Gloster2016-02-07
|/
* nixpkgs: add ltl2ba 1.1Austin Seipp2014-05-01