summary refs log tree commit diff
path: root/pkgs/applications/science/logic/acgtk
Commit message (Expand)AuthorAge
* ocamlPackages.cairo2: 0.4.6 -> 0.5Vincent Laporte2017-12-16
* acgtk: fix for yojson ≥ 1.4Vincent Laporte2017-11-27
* acgtk: fix homepage urlMatthew Bauer2017-08-17
* pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger2017-08-01
* acgtk: 1.1 -> 1.3.1Vincent Laporte2017-07-08
* Ensure that we can evaluate the platform attribute of ocaml packages.Nicolas B. Pierron2016-03-13
* acgtk: fix build with OCaml 4.02Vincent Laporte2015-06-25
* Added acgtk-1.1Jiri Marsik2014-10-28