about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/ott
AgeCommit message (Expand)AuthorFilesLines
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm1-0/+1
2023-02-03treewide: add strictDeps = true to most packages depending on ocamlUlrik Strid1-2/+5
2023-01-24ott: 0.32 → 0.33Vincent Laporte1-4/+4
2022-03-12ott: 0.31 -> 0.32R. Ryantm1-2/+2
2021-01-19treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nixJonathan Ringer1-2/+2
2021-01-16treewide: stdenv.lib -> libBen Siraphob1-4/+4
2021-01-05ott: Don't also install emacs modeJohn Ericson1-1/+7
2020-10-27treewide: remove package names from prefix of descriptionsBen Siraphob1-1/+1
2020-09-14ott: 0.30 → 0.31Vincent Laporte1-9/+4
2020-09-06ott: 0.30 -> 0.31R. RyanTM1-2/+2
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2020-01-26ott: 0.29 -> 0.30R. RyanTM1-2/+2
2019-10-23ott: 0.28 -> 0.29R. RyanTM1-2/+2
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2018-04-26ott: 0.27 -> 0.28R. RyanTM1-2/+2
2017-12-10ott: 0.25 -> 0.27Vincent Laporte1-9/+9
2017-09-21misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs`John Ericson1-1/+2
2014-11-06Turn more licenses into lib.licenses styleMateusz Kowalczyk1-1/+1
2014-09-15ott: 0.25 new expressionJohn Wiegley1-0/+43