| Commit message (Collapse) | Author | Age |
|---|
| |\
| |
| | |
z3: 4.7.1 -> 4.8.1
|
| | | |
|
| | |
| |
| |
| | |
verasco was its only user
|
| |\ \
| | |
| | | |
cedille bug fixes
|
| | | |
| | |
| | |
| | |
| | |
| | | |
For now, for normal usage you need to add `${cedille.lib}` to
the `~/.cedille/options` file so that cedille will find the base
libraries. There is no option to pass options by the command line.
|
| | |/
| |
| |
| | |
See https://github.com/cedille/cedille/issues/29
|
| |\ \
| | |
| | | |
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).
|
| |/ |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
As requested by Vincent Laporte.
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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.
|
| |
|
|
|
| |
Also handle compatibility with newer version of OCaml (depend on num
library as needed).
|
| | |
|
| |
|
|
| |
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
| |
|
|
|
|
|
|
|
|
|
| |
In a few cases it wasn't clear so I left them as-is.
While visiting these moved other things to nativeBuildInputs
when it was clear they were one of these cases:
* makeWrapper
* archive utilities (in order to unpack src)
* a few of these might no longer be needed but leaving for another day
|
| | |
|
| |\ |
|
| | |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| | |
See https://hydra.nixos.org/build/81125645
`tamarin-prover' upstream has a patch to fix GHC 8.4 compilation (and
uses stack lts-12.1 now), but it's not released yet:
https://github.com/tamarin-prover/tamarin-prover/commit/a08f6e400772899b9b0fc16befc50391cd70696b
The build is divided in several derivations, therefore the patch had to
be splitted and rebased for `lib/term', `lib/theory' and `lib/utils' to
ensure that the patch applies properly during the `patchPhase'.
Addresses #45960
|
| |\| |
|
| | | |
|
| |\| |
|
| | | |
|
| |\|
| |
| |
| | |
A few trivial conflicts due to *Platforms mass replace.
|
| | |
| |
| |
| | |
Probably related to #8567
|
| | |
| |
| |
| | |
It is deprecated and will be removed after 18.09.
|
| |/ |
|
| |
|
|
| |
This reverts commit d0888d150333a2c523cd1e46606d6219afe23dc2.
|
| |
|
|
|
| |
Some packages just can't handle them #44767. It was tempting to try
to abstract this in some way, but I didn't do that ATM.
|
| |\
| |
| |
| | |
Hydra: ?compare=1473892
|
| | |
| |
| |
| | |
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
| | |
| |
| |
| | |
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
| | |
| |
| |
| | |
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
| | |
| |
| |
| |
| |
| |
| | |
The library and header files are useful for other tools, such as
the upcoming 'lingeling'.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
| |\|
| |
| |
| | |
Hydra: ?compare=1472947
|
| | |\
| | |
| | | |
sad: fix build
|
| | | | |
|
| |\| | |
|
| | | |
| | |
| | |
| | | |
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
| |/ / |
|
| |\ \
| | |
| | | |
tlaplusToolbox: 1.5.6 -> 1.5.7
|
| | | |
| | |
| | |
| | | |
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/tla-toolbox/versions.
|
| | | | |
|
| |\ \ \ |
|
| | |/ / |
|
| |/ / |
|