Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2024-01-29 | ocamlPackages.lambdapi: use why3 built with the same version of OCaml | Vincent Laporte | 1 | -2/+1 |
2023-03-20 | why3: 1.5.1 → 1.6.0; ocamlPackages.lambdapi: 2.2.1 → 2.3.1 (#220986) | Vincent Laporte | 1 | -7/+6 |
2023-02-03 | ocamlPackages treewide: strictDeps all packages | Ulrik Strid | 1 | -2/+2 |
2023-01-21 | treewide: switch to nativeCheckInputs | Guillaume Girol | 1 | -1/+1 |
2022-09-18 | ocamlPackages.cmdliner: default to 1.1 | Vincent Laporte | 1 | -3/+3 |
2022-09-11 | ocamlPackages.lambdapi: init at 2.2.1 | Ben Darwin | 1 | -0/+46 |