Commit graph

6 commits

Author SHA1 Message Date
Vincent Laporte 38fafd1ed1
obliv-c: 0.0pre20170827 -> 0.0pre20180624 2018-08-28 04:32:56 +00:00
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