14 Commits

Author	SHA1	Message	Date
Weijia Wang	50e35e9b6c	obliv-c: migrate to OCaml 4.14	2023-03-05 01:40:37 +02:00
Ulrik Strid	376e9ceead	treewide: add strictDeps = true to most packages depending on ocaml	2023-02-03 08:59:34 +01:00
Vincent Laporte	3d3e4fc498	obliv-c: 0.0pre20180624 → 0.0pre20210621	2022-04-02 07:59:52 +02:00
Vincent Laporte	02d7b7a7a0	obliv-c: fix build ... Disable “fortify” hardening	2022-04-02 07:59:52 +02:00
Felix Buehler	82cb33a0ae	treewide: remove meta.version	2021-07-18 00:07:38 +02:00
Ben Siraphob	acc5f7b18a	pkgs/development/compilers: stdenv.lib -> lib	2021-01-23 08:57:37 +07:00
Ben Siraphob	8dd78bb4fb	treewide: fix double quoted strings in meta.description	2021-01-16 11:29:30 +07:00
volth	46420bbaa3	treewide: name -> pname (easy cases) (#66585) ... treewide replacement of stdenv.mkDerivation rec { name = "*-${version}"; version = "*"; to pname	2019-08-15 13:41:18 +01:00
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