public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
173,796 Commits 1 Branch 0 Tags
12446a80329ba0ff833ea94de22daf274e52ae2c
Commit Graph
57 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Théo Zimmermann b6a6f7ac98 coqPackages.contribs.zorns-lemma: 8.6.0 -> 8.9.0 2019-03-12 06:59:51 +00:00
Théo Zimmermann 958a6c6dd3 dune: 1.5.1 -> 1.6.2 2018-12-13 17:39:28 +00:00
Théo Zimmermann 208aedb971 ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
Théo Zimmermann 5cd08118d9 duneBuildPackage: document 2018-11-07 10:08:08 +01:00
Théo ZimmermannandJörg Thalheim 742bce7793 buildDunePackage: inline dune.installPhase for easier overriding 
Co-authored-by: Jörg Thalheim <Mic92@users.noreply.github.com>
 2018-11-07 10:08:08 +01:00
Théo ZimmermannandJörg Thalheim 406405d8bd buildDunePackage: add support for pre and post phase hooks 
Co-authored-by: Jörg Thalheim <Mic92@users.noreply.github.com>
 2018-11-07 10:08:08 +01:00
Théo Zimmermann 794158fcd5 buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
Théo Zimmermann 7cc369c9d5 coqPackages.ssreflect: refactor choice of source version 2018-11-05 18:11:27 +01:00
Théo Zimmermann dd21f83950 coq_8_9: init at 8.9+beta1 2018-11-04 07:26:29 +00:00
Théo Zimmermann 2f9fc897eb Add mention of nix-prefetch-github. (#49336) 2018-10-30 01:24:07 +01:00
Théo Zimmermann cea4806bc5 ocamlformat: init at 0.8 2018-10-23 14:22:59 +00:00
Théo Zimmermann 668c19a9ac coqPackages: update documentation to mention coq.ocamlPackages attribute 2018-10-19 10:29:49 +02:00
Théo Zimmermann 8c399bd6c1 coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc. 2018-10-19 10:25:09 +02:00
Théo Zimmermann fa12476755 coq: add ocamlPackages in passthru 
We might need OCaml packages that are not the one Coq is depending on
but they still need to come from the same package set (same OCaml version).
 2018-10-17 13:26:43 +02:00
Théo Zimmermann 2fdd38ed2d camlp5_transitional: remove in favor of camlp5 (strict) 2018-10-10 19:44:54 +02:00
Théo Zimmermann eaf0de5985 ulex: remove version 0.8 2018-10-10 19:42:54 +02:00
Théo Zimmermann 7ac0a23194 prooftree: 0.12 -> 0.13 2018-10-10 19:42:50 +02:00
Théo Zimmermann c76ffb9253 matita: remove broken package 
As requested by Vincent Laporte.
 2018-10-09 09:47:31 +02:00
Théo Zimmermann 0f8ef669ac ocamlPackages_3_12_1: remove 2018-10-08 21:10:05 +02:00
Théo Zimmermann 34394a38ef ocamlPackages_3_11_2: remove 
This requires removing also the Coq 8.3 and Matita 0.5.8 packages.

Coq 8.3 was released 8 years ago (2010) and there is no trace left
of users of this version (contrary to Coq 8.4, released 2012).
It is well over time to remove it.

Matita 0.5.8 was released in 2010 and because this version was still
used for teaching according to the official website, a legacy release
(0.5.9) was released in 5 years later to compile with more recent
OCaml libraries.
Updating to 0.5.9 (or a more recent version like 0.99.3) should allow
getting rid of the dependency on older OCaml but it is hard to test
given that the package is already broken before this update.
 2018-10-08 21:10:05 +02:00
Théo Zimmermann 62cf2840bd ocamlPackages_3_10_0: remove 2018-10-08 21:10:05 +02:00
Théo Zimmermann 3d683f33f3 ocamlPackages_3_08_0: remove 2018-10-08 21:10:04 +02:00
Théo Zimmermann cf1f8b2d04 camlp5: remove old version 5.15 2018-10-08 21:09:59 +02:00
Théo Zimmermann d1b97bcbe8 dune: 1.1.1 -> 1.2.1 2018-09-22 16:11:34 +00:00
Théo Zimmermann 7ff90cd103 pyre: 0.0.11 -> 0.0.14 2018-09-21 14:37:39 +02:00
Théo Zimmermann e6077f3afa graphql-cli: init at 2.16.5 2018-08-02 13:17:59 +02:00
Théo Zimmermann fd03ba85cc mustache-go: init at 1.0.1 (#44175) 2018-07-31 23:48:54 +02:00
Théo Zimmermann 314eb884ec coq_8_8: 8.8.0 -> 8.8.1 2018-06-29 11:10:31 +02:00
Théo Zimmermann 4033416845 Mark more unfree licenses as unfree. See also #20256. 2018-06-24 18:31:54 +02:00
Théo Zimmermann 202f19b225 ocamlPackages.conduit-lwt-unix: add SSL support 
This makes it possible to run the example given at
https://github.com/mirage/ocaml-cohttp#client-tutorial
 2018-05-15 17:38:24 +02:00
Théo Zimmermann 1ddadc6b1c coqPackages.math-classes: 1.0.6 -> 1.0.7 
This version introduces compatibility with Coq 8.7.
 2017-11-05 16:59:23 +01:00
Théo Zimmermann f4914d4eb4 bignums: init at various versions 
Bignums used to be part of the standard library of Coq.
We provide a version for Coq 8.6, and one for Coq 8.7.
 2017-11-05 16:59:23 +01:00
Théo Zimmermann 6798212571 languagetool: add command for HTTP server 2017-10-31 21:08:56 +01:00
Théo Zimmermann 8fde5790b4 compcert: fix license 
The license of CompCert is not a generic "INRIA" license. It is "INRIA Non-Commercial
Agreement for the CompCert verified compiler". As unfortunate as it may seem, this
is a non-free license (clearly mentioned as such in its preamble). See also #20256.
 2017-09-21 15:24:17 +02:00
Théo Zimmermann 3370615a7f compcert: 3.0.1 -> 3.1 
Note that the fix of the VERSION file can likely be removed at the next update.
 2017-09-21 15:06:51 +02:00
Théo Zimmermann 9efd7a9b6e coq_8_7: init at 8.7+beta1 2017-09-06 21:16:41 +02:00
Théo Zimmermann a26bbe547e coq: fetch source from GitHub 2017-09-06 21:16:41 +02:00
Théo Zimmermann a9be3c20d1 ocamlPackages.ppx_deriving: 4.1 -> 4.2 
This fixes compilation of ppx_deriving with OCaml 4.05.

js_of_ocaml_2: mark as broken with OCaml 4.05

ocamlPackages.cohttp: propagates ppx_deriving
 2017-08-30 02:33:23 +00:00
Théo Zimmermann 057ffcf0dd coq: adding myself to the maintainers 2017-08-04 19:52:55 +02:00
Théo Zimmermann b25d65e051 coq: use camlp5_strict 
The versions of Coq available through this expression do not actually
require camlp5_transitional. We drop this dependency to see if, in the
future, the package camlp5_transitional can be removed from nixpkgs.
 2017-08-04 19:52:54 +02:00
Théo Zimmermann c0dca2fb00 coq: 8.6 -> 8.6.1 2017-08-04 19:52:51 +02:00
Théo Zimmermann 5215ed6b21 compcert: fix breakage on linux after f130ecd 2017-08-04 19:46:16 +02:00
Théo Zimmermann 753aab1494 pythonPackages.codecov: init at 2.0.9 (#27018) 
* pythonPackages.codecov: init at 2.0.9

* Update default.nix
 2017-07-03 20:12:46 +02:00
Théo Zimmermann ac86016094 pythonPackage.markdownsuperscript: init at 2.0.0 2017-07-03 12:50:11 +02:00
Théo Zimmermann 901069c577 ocamlPackages.ppx_tools_versioned: 5.0alpha -> 5.0.1 2017-06-15 14:53:15 +02:00
Théo Zimmermann f8fd5531a3 patdiff: init at 0.9.0 2017-05-30 20:50:36 +02:00
Théo Zimmermann 5fd9b442f4 ocamlPackages_4_03 (Jane Street packages): 113_33_xx -> 0.9.x 2017-05-30 20:50:36 +02:00
Théo Zimmermann 1562201643 ocamlPackages.janeStreet.{base,sexplib}: 0.9.0 -> 0.9.1 2017-05-30 20:50:36 +02:00
Théo Zimmermann 1cff0701ef ocamlPackages: remove duplicated definitions 2017-05-30 20:50:36 +02:00
Théo Zimmermann 1dac99b7c9 ocamlPackages.janeStreet package set: init at 0.9.0 
This contains a collection of Jane Street packages at version 0.9.0.
Packages not already present in ocamlPackages are also made available
without the janeStreet prefix.
 2017-05-30 20:50:36 +02:00
Théo Zimmermann 5f04a61d4f coq: default version is the one of coqPackages 
This clean-up is supposed to avoid the mistake made in 83a50c2 and fixed in 6b8da80 in the future.
 2017-05-16 13:52:53 +02:00
Théo Zimmermann 6b8da80466 coqPackages: default version 8.4pl6 -> 8.6 
This fixes incomplete commit 83a50c2.
 2017-05-16 13:22:25 +02:00
Théo Zimmermann 017a723939 camlp5: fix install with ocaml 4.04 
The problem was that bytecode executables were shrinked.

This closes #25367.
 2017-05-03 11:57:33 +02:00
Théo Zimmermann 72070e6dfc doc: improve "getting the sources" chapter 2017-04-01 17:56:29 +02:00
Théo Zimmermann 12a00b51b3 coq: default version 8.4pl6 -> 8.6 2017-03-05 14:14:24 +01:00
Théo Zimmermann 9eec461890 coq_8_4: ocaml dependency 4.01 -> 4.02 2017-03-05 14:14:24 +01:00
Théo Zimmermann 01910b1801 ocamlPackage.ppx_import: init at 1.1 2016-11-08 15:38:45 +01:00