about summary refs log tree commit diff
path: root/pkgs/development/ocaml-modules/ocamlnet
AgeCommit message (Expand)AuthorFilesLines
2023-01-05ocamlPackages.ocamlnet: disable for OCaml ≥ 5.0Vincent Laporte1-3/+2
2022-05-11ocamlPackages: inherit ocaml.meta.platformsMalo Bourgon1-1/+1
2022-02-24ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputsUlrik Strid1-2/+4
2022-02-06treewide: rename name to pname&versionFelix Buehler1-1/+1
2021-08-19pkgsStatic.ocaml-ng: migrate static adapter to derivations themselvesGuillaume Girol1-0/+2
2021-04-07ocamlPackages.ocamlnet: 4.1.8 → 4.1.9Vincent Laporte1-4/+4
2021-01-19treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nixJonathan Ringer1-2/+2
2021-01-12ocamlPackages: stdenv.lib → libsternenseemann1-3/+3
2020-08-22ocamlPackages.ocamlnet: 4.1.7 → 4.1.8Vincent Laporte1-2/+2
2020-03-02ocamlPackages.ocamlnet: disable for Ocaml<4.02Mario Rodas1-2/+5
2020-02-29ocamlPackages.ocamlnet: 4.1.6 -> 4.1.7R. RyanTM1-3/+3
2019-10-07Rename z77z into maggesiMarco Maggesi1-1/+1
2018-05-09ocamlPackages.ocamlnet: 4.1.5 -> 4.1.6Vincent Laporte1-9/+3
2018-04-02ocamlPackages.ocamlnet: fix build with OCaml 4.06Vincent Laporte1-1/+8
2017-12-06ocamlPackages.ocamlnet: 4.1.4 -> 4.1.5Vincent Laporte1-9/+3
2017-11-30ocamlnet: fixup build by bringing back nettle-3.3Vladimír Čunát1-1/+7
2017-09-21misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs`John Ericson1-1/+2
2017-08-20ocamlPackages.ocamlnet: 4.1.{2,3} -> 4.1.4Vincent Laporte1-13/+4
2017-08-08ocamlPackages.ocamlnet: 4.1.2 -> 4.1.3Vincent Laporte1-4/+14
2017-08-04ocamlPackages.ocamlnet: mark as broken with OCaml ≥ 4.05Vincent Laporte1-0/+1
2016-10-10ocamlnet: 4.1.1 -> 4.1.2Vincent Laporte1-3/+3
2016-10-05treewide: use ocaml.version (#19192)Kirill Boltaev1-5/+1
2016-06-08ocamlnet: 3.7.7 -> 4.1.1 (#16008)vbgl1-9/+7
2016-03-13Ensure that we can evaluate the platform attribute of ocaml packages.Nicolas B. Pierron1-1/+1
2014-11-08ocamlnet: update from 3.7.6 to 3.7.7Vincent Laporte1-3/+3
2014-09-27ocamlnet: update 3.7.3 -> 3.7.6Vincent Laporte2-68/+3
2014-03-20Update ocamlnet to version 3.7.3Marco Maggesi1-6/+6
2013-06-07Upgraded ocamlnet to 3.6.3. Also enabled mot functionality of ocamlnet like n...Christophe Raffalli2-5/+76
2012-10-09Update ocamlnet to version 3.6. (Does not compile under 4.00.0 though.)Marco Maggesi1-4/+3
2010-12-31Matita and its dependencies.Russell O'Connor1-0/+2
2010-12-12* Add ocamlnetMarco Maggesi1-0/+43
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-12 17:19:09 +0000