Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2023-02-03 | buildDunePackage: default to strictDeps = true | Ulrik Strid | 1 | -2/+0 |
2023-01-30 | ocamlPackages.psmt2-frontend: minor cleaning | Vincent Laporte | 1 | -4/+2 |
2022-03-21 | ocamlPackages.psmt2-frontend: 0.3.1 -> 0.4.0 | R. Ryantm | 1 | -2/+2 |
2022-02-24 | ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs | Ulrik Strid | 1 | -1/+3 |
2021-02-23 | ocamlPackages.psmt2-frontend: 0.2 → 0.3.1 | Vincent Laporte | 1 | -18/+10 |
2021-01-12 | ocamlPackages: stdenv.lib → lib | sternenseemann | 1 | -4/+4 |
2019-12-30 | treewide: installFlags is a list | Robin Gloster | 1 | -1/+1 |
2019-02-12 | ocamlPackages.psmt2-frontend: 0.1 -> 0.2 | R. RyanTM | 1 | -2/+2 |
2018-06-25 | ocamlPackages.psmt2-frontend: init at 0.1 | Vincent Laporte | 1 | -0/+35 |