c777cdf5c5
easycrypt-runtest: init at 2022.04
2 years ago
b20934a65c
easycrypt: init at 2022.04
2 years ago
16e15fa68f
treewide: add meta.mainProgram to many packages
2 years ago
00e66f10fa
coq: Rename internal versionAtLeast helper to coqAtLeast
...
To avoid potential confusion with lib.versionAtLeast.
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
2 years ago
e66cf9c6c8
elan: 1.4.0 -> 1.4.1
2 years ago
f1c7f19e49
treewide: testVersion -> testers.testVersion
2 years ago
9aa4c5dbfc
isabelle: Make closer to upstream
...
This makes isabelle use the versions of polyml and z3 that are also used
upstream. Additionally it packages the sha1 library that isabelle uses.
Co-authored-by: 1000teslas <47207223+1000teslas@users.noreply.github.com>
2 years ago
2e52d5c892
naproche: 0.1.0.0 -> 2022-04-19
...
This fixes the build with GHC 9
2 years ago
f1189d812e
fast-downward: substitute version, fix buildInputs, minor cleanup
2 years ago
8c5a58144d
fast-downward: 19.12 → 21.12.0
2 years ago
0e802eafad
treewide: add meta.mainProgram to many packages
2 years ago
ae6932e7b9
elan: 1.3.1 -> 1.4.0
2 years ago
0a2f8109f4
abc-verifier: 2022.03.04 -> 2022.03.22
2 years ago
74b7319023
cvc5: init at 1.0.0
2 years ago
923fad863c
z3: Remove unused fetchpatch
2 years ago
2d1621012c
symfpu: init at unstable-2019-05-17
2 years ago
672ea43d0e
otter: remove after being marked broken for over two years
...
It was marked in commit ca0e724266
2 years ago
33e8308dbc
lean2: remove after being marked broken for over two years
...
It was marked in commit 5aa4b19946
2 years ago
90c42fa33f
jonprl: remove after being marked broken for over two years
...
It was marked in commit 5aa4b19946
2 years ago
0535074d17
nuXmv: fix darwin build
2 years ago
57961e1a5e
z3: remove 4.6.0 and 4.5.0
2 years ago
0489a21577
z3: init 4.8.15, 4.7.1, 4.6.0, 4.5.0
2 years ago
3d0a9d1668
coq_8_15: 8.15.0 → 8.15.1
2 years ago
3bc5196252
treewide: rename name to pname&version
2 years ago
e0476d93fe
treewide: rename name to pname&version
2 years ago
0391279c24
isabelle: Add isabelle-linter as optional component
2 years ago
9160044f5f
treewide/makeWrapper: replace `--run cd` with `--chdir`
...
Lay the groundwork for switching to binary wrappers by reducing uses
of `--run` (which is not supported by `makeBinaryWrapper`).
2 years ago
897ba65b6f
lean: 3.41.0 -> 3.42.0
2 years ago
d29ff668b5
opensmt: 2.3.0 -> 2.3.1
2 years ago
98a951c509
klee: build with klee-uclibc
...
This ends up enabling more of the KLEE test suite, so apply patches to
fix those too.
2 years ago
b39792d141
nuXmv: init at 2.0.0
2 years ago
29d7a27d9f
opensmt: 2.2.0 -> 2.3.0
2 years ago
bab25a7a3a
lean: 3.40.0 -> 3.41.0
2 years ago
0e4d199cbd
abc-verifier: 2021.11.12 -> 2022.03.04
2 years ago
c1ef185bdb
isabelle: Use naproche from nixpkgs
2 years ago
2b71e68503
naproche: init at 0.1.0.0
2 years ago
52bba1de8a
clingcon: fix build w/glibc-2.34
...
Failing Hydra build: https://hydra.nixos.org/build/163641612
2 years ago
cb2cfba6f7
treewide: switch all desktop file generators to new API
...
Notably:
- remove explicit arguments that match the defaults
- convert everything to the right Nix types
2 years ago
7e20e9039e
coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true
...
Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>
2 years ago
056c34167d
why3: 1.4.0 → 1.4.1
2 years ago
48df7cdbba
coq: Move dune to nativeBuildInputs and add ocaml, findlib and menhir
2 years ago
a13cdfe520
ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs
...
To keep this for the future we also strictDeps where possible, including for janePackages, topkg, oasis and ocamlbuild.
This makes some closures significantly smaller and makes cross compilation easier
2 years ago
4ba9b2d198
lean: 3.39.2 -> 3.40.0
2 years ago
4150bf02b5
coq: allow static linking by moving wrapGAppsHook to nativeBuildInputs
...
Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>
2 years ago
0c36a9cc35
lean: 3.39.1 -> 3.39.2
2 years ago
762faa21a2
tlaps: 1.4.3 -> 1.4.5
...
This updates tlaps to the most recent stable version and fixes the
template for the url from which the sources are fetched. Previously, the
tarball was fetched from the "current" remote directory from which old
versions are eventually removed. The package was therefore broken.
It also adds myself (florentc) as a maintainer.
2 years ago
7f94906083
formula: init at 2.0
2 years ago
f7e01145af
gradle: Update hashes of dependents for 7.4
2 years ago
75f5b1f5b2
isabelle: Rebuild isabelle_setup.jar
...
This jar contained a call to /usr/bin/env bash which was causing an
error during the build of the HOL session (which could be ignored) and
caused other errors during the development of https://github.com/NixOS/nixpkgs/pull/157515
(which could not be ignored). This commit patches the java sources to
call `bash` directly and rebuild the jar.
2 years ago
e1f6e33d01
workcraft: 3.3.5 -> 3.3.6
2 years ago
Vincent Laporte