summary refs log tree commit diff
path: root/pkgs/applications/science/logic/acgtk
Commit message (Expand)AuthorAge
* ocamlPackages.menhir: 20190626 → 20210419Vincent Laporte2021-06-05
* acgtk: 1.5.1 → 1.5.2Vincent Laporte2021-02-24
* acgtk: use dune installsternenseemann2021-01-21
* treewide: with stdenv.lib; in meta -> with lib;Profpatsch2021-01-11
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* acgtk: 1.5.0 → 1.5.1 (#81539)Vincent Laporte2020-03-07
* acgtk: 1.3.1 -> 1.5.0Vincent Laporte2018-11-04
* [bot] treewide: remove unused 'inherit' in let blocksvolth2018-07-20
* 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-27 00:58:18 +0000