summary refs log tree commit diff
path: root/pkgs/applications/science/logic/ott
Commit message (Expand)AuthorAge
* treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nixJonathan Ringer2021-01-19
* treewide: stdenv.lib -> libBen Siraphob2021-01-16
* ott: Don't also install emacs modeJohn Ericson2021-01-05
* treewide: remove package names from prefix of descriptionsBen Siraphob2020-10-27
* ott: 0.30 → 0.31Vincent Laporte2020-09-14
* ott: 0.30 -> 0.31R. RyanTM2020-09-06
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* ott: 0.29 -> 0.30R. RyanTM2020-01-26
* ott: 0.28 -> 0.29R. RyanTM2019-10-23
* treewide: name -> pname (easy cases) (#66585)volth2019-08-15
* 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