5 commits

Author	SHA1	Message	Date
volth	52f53c69ce	pkgs/*: remove unreferenced function arguments	2018-07-21 02:48:04 +00:00
Orivej Desh	7f8bc042cc	obliv-c: fix build with glibc 2.26 ... by ignoring unavoidable but unneeded _Complex and __float128 keywords. Upstream issue: https://github.com/samee/obliv-c/issues/48	2017-11-28 11:10:44 +00:00
Vincent Laporte	42541c4387	obliv-c: make explicit the ocamlbuild dependency	2017-10-12 06:01:24 +00:00
Michael Raskin	371a2ee707	obliv-c: 0.0pre20161001 -> 0.0pre20170827	2017-08-29 21:17:10 +02:00
Michael Raskin	667c2fb025	obliv-c: init at 0.0pre20161001	2016-10-06 17:48:05 +02:00