about summary refs log tree commit diff
path: root/pkgs/development/compilers/obliv-c
AgeCommit message (Expand)AuthorFilesLines
2023-03-05obliv-c: migrate to OCaml 4.14Weijia Wang1-0/+4
2023-02-03treewide: add strictDeps = true to most packages depending on ocamlUlrik Strid1-1/+4
2022-04-02obliv-c: 0.0pre20180624 → 0.0pre20210621Vincent Laporte1-3/+3
2022-04-02obliv-c: fix buildVincent Laporte1-0/+2
2021-07-18treewide: remove meta.versionFelix Buehler1-1/+0
2021-01-23pkgs/development/compilers: stdenv.lib -> libBen Siraphob1-4/+4
2021-01-16treewide: fix double quoted strings in meta.descriptionBen Siraphob1-1/+1
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2018-08-28obliv-c: 0.0pre20170827 -> 0.0pre20180624Vincent Laporte1-3/+3
2018-07-21pkgs/*: remove unreferenced function argumentsvolth1-1/+1
2017-11-28obliv-c: fix build with glibc 2.26Orivej Desh2-0/+39
2017-10-12obliv-c: make explicit the ocamlbuild dependencyVincent Laporte1-2/+3
2017-08-29obliv-c: 0.0pre20161001 -> 0.0pre20170827Michael Raskin1-3/+9
2016-10-06obliv-c: init at 0.0pre20161001Michael Raskin1-0/+33
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-04 20:41:20 +0000