summary refs log tree commit diff
path: root/pkgs/development/ocaml-modules/ocamlnet
Commit message (Expand)AuthorAge
* ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputsUlrik Strid2022-02-24
* treewide: rename name to pname&versionFelix Buehler2022-02-06
* pkgsStatic.ocaml-ng: migrate static adapter to derivations themselvesGuillaume Girol2021-08-19
* ocamlPackages.ocamlnet: 4.1.8 → 4.1.9Vincent Laporte2021-04-07
* treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nixJonathan Ringer2021-01-19
* ocamlPackages: stdenv.lib → libsternenseemann2021-01-12
* ocamlPackages.ocamlnet: 4.1.7 → 4.1.8Vincent Laporte2020-08-22
* ocamlPackages.ocamlnet: disable for Ocaml<4.02Mario Rodas2020-03-02
* ocamlPackages.ocamlnet: 4.1.6 -> 4.1.7R. RyanTM2020-02-29
* Rename z77z into maggesiMarco Maggesi2019-10-07
* ocamlPackages.ocamlnet: 4.1.5 -> 4.1.6Vincent Laporte2018-05-09
* ocamlPackages.ocamlnet: fix build with OCaml 4.06Vincent Laporte2018-04-02
* ocamlPackages.ocamlnet: 4.1.4 -> 4.1.5Vincent Laporte2017-12-06
* ocamlnet: fixup build by bringing back nettle-3.3Vladimír Čunát2017-11-30
* misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs`John Ericson2017-09-21
* ocamlPackages.ocamlnet: 4.1.{2,3} -> 4.1.4Vincent Laporte2017-08-20
* ocamlPackages.ocamlnet: 4.1.2 -> 4.1.3Vincent Laporte2017-08-08
* ocamlPackages.ocamlnet: mark as broken with OCaml ≥ 4.05Vincent Laporte2017-08-04
* ocamlnet: 4.1.1 -> 4.1.2Vincent Laporte2016-10-10
* treewide: use ocaml.version (#19192)Kirill Boltaev2016-10-05
* ocamlnet: 3.7.7 -> 4.1.1 (#16008)vbgl2016-06-08
* Ensure that we can evaluate the platform attribute of ocaml packages.Nicolas B. Pierron2016-03-13
* ocamlnet: update from 3.7.6 to 3.7.7Vincent Laporte2014-11-08
* ocamlnet: update 3.7.3 -> 3.7.6Vincent Laporte2014-09-27
* Update ocamlnet to version 3.7.3Marco Maggesi2014-03-20
* Upgraded ocamlnet to 3.6.3. Also enabled mot functionality of ocamlnet like n...Christophe Raffalli2013-06-07
* Update ocamlnet to version 3.6. (Does not compile under 4.00.0 though.)Marco Maggesi2012-10-09
* Matita and its dependencies.Russell O'Connor2010-12-31
* * Add ocamlnetMarco Maggesi2010-12-12
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-15 00:57:13 +0000