summary refs log tree commit diff
path: root/pkgs/applications/science/logic/ott
Commit message (Expand)AuthorAge
* ott: 0.27 -> 0.28R. RyanTM2018-04-26
* ott: 0.25 -> 0.27Vincent Laporte2017-12-10
* misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs`John Ericson2017-09-21
* Turn more licenses into lib.licenses styleMateusz Kowalczyk2014-11-06
* ott: 0.25 new expressionJohn Wiegley2014-09-15