summary refs log tree commit diff
path: root/pkgs/applications/science/logic/ott
Commit message (Expand)AuthorAge
* 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