about summary refs log tree commit diff
path: root/pkgs/development/compilers/obliv-c
Commit message (Expand)AuthorAge
* treewide: name -> pname (easy cases) (#66585)volth2019-08-15
* obliv-c: 0.0pre20170827 -> 0.0pre20180624Vincent Laporte2018-08-28
* pkgs/*: remove unreferenced function argumentsvolth2018-07-21
* obliv-c: fix build with glibc 2.26Orivej Desh2017-11-28
* obliv-c: make explicit the ocamlbuild dependencyVincent Laporte2017-10-12
* obliv-c: 0.0pre20161001 -> 0.0pre20170827Michael Raskin2017-08-29
* obliv-c: init at 0.0pre20161001Michael Raskin2016-10-06