aboutsummaryrefslogtreecommitdiff
path: root/default.nix
AgeCommit message (Expand)Author
2020-11-24update default.nixEnrico Tassi
2020-10-22[default.nix] Propagate OCaml and findlib to user env.Théo Zimmermann
2020-09-17[build] Don't link `num` anymore in CoqEmilio Jesus Gallego Arias
2020-09-11Propagate zarith dependency.Théo Zimmermann
2020-08-27[numeral] [plugins] Switch from `Big_int` to ZArith.Emilio Jesus Gallego Arias
2020-08-07[default.nix] Propagate dependency on num following #12604.Théo Zimmermann
2020-05-18Update to 8.13.Théo Zimmermann
2020-03-03Update the OCaml version in `default.nix` to 4.09.0Maxime Dénès
2020-02-12[nix] Fix building of the documentationVincent Laporte
2020-01-15[Nix] Fix setup hook when COQPATH is not boundVincent Laporte
2020-01-15[Nix] Update reference to nixpkgsVincent Laporte
2020-01-03[tools] Remove support for python2Emilio Jesus Gallego Arias
2019-12-13Add ocamlformat dependency to Nix fileMaxime Dénès
2019-11-27[release] Update files for 8.12 release per release process.Emilio Jesus Gallego Arias
2019-10-07Bump version number to 8.11.Pierre-Marie Pédrot
2019-07-06[python] Remove use of generic python shebang, update CIEmilio Jesus Gallego Arias
2019-07-02[nix] python2 -> python3Théo Zimmermann
2019-05-17[default.nix] Exclude the nix/ directory from sourcesVincent Laporte
2019-03-19Merge PR #9647: [default.nix] Enable parallel buildThéo Zimmermann
2019-03-19[coqide] [ci] Update GTK toolchain to lablgtk3Emilio Jesus Gallego Arias
2019-03-18[nix] Move nixpkgs.nix into the dev/ directoryVincent Laporte
2019-03-18[nix] Store the reference to nixpkgs in a dedicated fileVincent Laporte
2019-03-01[Kernel] Simpler generation of opcode filesVincent Laporte
2019-02-26[default.nix] Enable parallel buildVincent Laporte
2019-01-30Updated pinned nixpkgs.Théo Zimmermann
2018-12-14Update pinned nixpkgs to use Dune 1.6.Théo Zimmermann
2018-11-22[default.nix] Add graphviz for STM DAG printerMaxime Dénès
2018-11-21[camlp5] Remove dependency on camlp5.Emilio Jesus Gallego Arias
2018-11-05[default.nix] Update pinned nixpkgs.Théo Zimmermann
2018-11-05[default.nix] Add coq-version, meta.platform and setupHook.Théo Zimmermann
2018-10-26[default.nix] Clean-up: use camlp5 instead of synonymous camlp5_strict.Théo Zimmermann
2018-10-25[default.nix] Update to dune 1.4.Théo Zimmermann
2018-10-10Fix build of Nix package with sandbox.Théo Zimmermann
2018-10-09[default.nix] Add install dir to OCAMLPATH before running the test-suiteVincent Laporte
2018-10-09[default.nix] some fixesVincent Laporte
2018-10-01[default.nix] Add odoc to the documentation build-inputsVincent Laporte
2018-10-01[default.nix] Update the reference to nixpkgs; make it the defaultVincent Laporte
2018-09-23[default.nix] Bump nixpkgs to use Dune 1.2.1.Théo Zimmermann
2018-09-20Update minimum required dependency versions of Sphinx doc.Théo Zimmermann
2018-09-10Have `gitFull` in the nix-shellCyril Cohen
2018-09-07Add utop to default.nix for use in nix-shell (see #8426).Théo Zimmermann
2018-09-06Override Dune derivation to update it before nixpkgs.Théo Zimmermann
2018-09-06Changes to default.nix to be able to use Dune.Théo Zimmermann
2018-07-05[pkg:nix] Stop using lib.inNixShell.Théo Zimmermann
2018-07-05[pkg:nix] Pass through the ocamlPackages version used to build.Théo Zimmermann
2018-07-03Refactor default.nix to use optionals.Théo Zimmermann
2018-07-03Fix timing tools on NixOS.Théo Zimmermann
2018-07-03Add a test build of Nix package to GitLab CI.Théo Zimmermann
2018-07-03Adapt default.nix to allow nix-build to run the test-suite.Théo Zimmermann
2018-07-02Adding back ocp-index to default.nix.Théo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:40:00 +0000