nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-19 20:23:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
495,811 Commits 188 Branches 125 Tags 7.7 GiB
bc2c71a141
Commit Graph

1611 Commits

Author SHA1 Message Date
figsoda
70f33f2777 egglog: unstable-2023-05-22 -> unstable-2023-06-11 
Diff: 5242b50051...c7ef8b000c
 2023-06-17 17:33:00 -04:00
Théo Zimmermann
2bdeec6f84 coq: use dune_3 
This is needed to build Coq dev and is compatible with all current releases of Coq that require Dune.
 2023-06-14 14:33:36 +02:00
toastal
8201afb77f ocamlPackages.mtime: create 1.x fork for compat 
Slapped mtime_1 affected ocamlPackages
 2023-06-13 13:14:38 +07:00
figsoda
1f3b4712f5 egglog: init at unstable-2023-05-22 
https://github.com/egraphs-good/egglog
 2023-06-03 14:11:55 -04:00
Vincent Laporte
3b666b41c3 alt-ergo: 2.4.2 → 2.4.3 2023-05-31 06:06:49 +02:00
Robert Scott
2c9bea0eaa sharpsat-td: patch with updated version of mpreal/mpfrc++ 
this version is needed for mpfr 4.2.0+ support

lesson - don't merge old PRs without re-testing them yourself
 2023-05-27 20:49:34 +01:00
Robert Scott
cfbb8e82c6
Merge pull request #178159 from risicle/ris-sharpsat-td 
sharpsat-td: init at unstable-2021-09-05
 2023-05-27 15:47:31 +01:00
R. Ryantm
b954ef286d opensmt: 2.5.0 -> 2.5.1 2023-05-26 22:27:08 +00:00
kilianar
41f1482be7 lean: 3.50.3 -> 3.51.0 
https://github.com/leanprover-community/lean/releases/tag/v3.51.0
 2023-05-22 18:10:56 +02:00
Weijia Wang
55e5de416f isabelle-components.isabelle-linter: add platforms 2023-05-17 23:01:48 +03:00
Andreas Vollert
44110aeb11 isabelle-linter: unstable-2022-09-05 -> 1.2.1 2023-05-17 17:42:07 +02:00
Guillaume Maudoux
33399c9de8
Merge pull request #229008 from whonore/dafny-4 
dafny: 2.3.0 -> 4.0.0
 2023-05-17 09:53:06 +02:00
sternenseemann
dd6a74bdbe tamarin-prover: allow maude 3.1.1 
See https://github.com/tamarin-prover/tamarin-prover/pull/544.

Added tamarin-prover to passthru.tests of maude to prevent future
regressions of this kind.
 2023-05-10 16:30:39 +02:00
Sandro
93640c56d1
Merge pull request #227420 from GaetanLepage/torchbin-update 
python3Packages.torch-bin: 1.13.1 -> 2.0.0
 2023-05-03 09:58:56 +02:00
R. Ryantm
6300f3bfb2 elan: 1.4.2 -> 1.4.5 2023-04-30 15:35:03 +00:00
whonore
c0c08de5b4 dafny: remove unused deps 2023-04-29 19:13:11 -04:00
whonore
d4f814d956 dafny: move to separate file 2023-04-29 19:11:12 -04:00
Gaetan Lepage
608908ed7a lit: move to python-modules 2023-04-29 13:53:50 +02:00
Henner Zeller
e3032b1d78 surelog: 1.45 -> 1.57 
Also, no vendored dependencies anymore, so we can fetch git
without submodules and use the libraries provided from
nix (flatbuffers, uhdm, gtest, antlr).
 2023-04-26 01:47:32 -05:00
Henner Zeller
d2831ca5da uhdm: 1.45 -> 1.57 
Also no vendored dependencies anymore, capnproto is now directly
used from nix, no third_party/ submodules are needed anymore.
 2023-04-26 01:47:32 -05:00
R. Ryantm
8af51c3628 workcraft: 3.3.9 -> 3.4.0 2023-04-23 00:06:26 +00:00
R. Ryantm
3012b98a08 tlaplus: 1.7.2 -> 1.7.3 2023-04-20 15:51:31 +00:00
Felix Schröter
1843807ba3
sad: remove old, unmaintained package 
The package isn't maintained and hasn't been exposed for a while.
Meanwhile there's been added a new package with the same name.
This change doesn't touch the new package.
 2023-04-20 11:26:01 +02:00
Thomas Tuegel
ccf7156d8d
Merge pull request #217974 from pxrl/pxrl/z3 
z3: 4.8.15 -> 4.8.17
 2023-04-17 10:03:07 -05:00
R. Ryantm
84dbda044f opensmt: 2.4.3 -> 2.5.0 2023-04-11 10:26:10 +00:00
Ellie Hermaszewska
bd54a9047d
tamarin-prover: Allow compiling with maude-3.3 2023-04-05 14:39:55 +08:00
Weijia Wang
626401c783
Merge pull request #220832 from wegank/glucose-bump 
glucose: 4.1 -> 4.2.1
 2023-03-29 09:13:21 +03:00
Ali Caglayan
8fe1ea496b coq: 8.16.1 -> 8.17.0 
Signed-off-by: Ali Caglayan <alizter@gmail.com>
 2023-03-28 08:13:12 +02:00
R. Ryantm
bb270775f2 cvc5: 1.0.4 -> 1.0.5 2023-03-25 01:00:12 +00:00
Luflosi
ddb714f68d
yices: fix typo in comment 2023-03-22 16:08:09 +01:00
Weijia Wang
120a484726
Merge pull request #220001 from wegank/isabelle-arm 
isabelle: add aarch64-linux support
 2023-03-22 16:15:34 +02:00
Vincent Laporte
48774c43cd
acgtk: use Dune 3 2023-03-21 13:05:53 +01:00
Vincent Laporte
e12230e716
why3: 1.5.1 → 1.6.0; ocamlPackages.lambdapi: 2.2.1 → 2.3.1 (#220986) 
why3: 1.5.1 → 1.6.0
ocamlPackages.lambdapi: 2.2.1 → 2.3.1

Co-authored-by: Weijia Wang <9713184+wegank@users.noreply.github.com>
 2023-03-20 20:45:47 +01:00
Weijia Wang
8da8071e37 glucose: 4.1 -> 4.2.1 2023-03-18 22:17:16 +02:00
Weijia Wang
0ddc01c569 glucose: refactor 2023-03-18 19:00:45 +02:00
Bernardo Meurer
6e55733359
Merge pull request #219747 from Stunkymonkey/deprecate-isNull 2023-03-16 11:10:22 -03:00
Weijia Wang
6bade5f7df tamarin-prover: only use glibcLocales on linux 2023-03-14 15:55:12 +02:00
Austin Seipp
787381926a tamarin-prover: set LOCALE_ARCHIVE in wrapper 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2023-03-12 19:06:58 -05:00
Luflosi
e8f1fcd350 abc-verifier: unstable-2023-02-04 -> unstable-2023-02-23 2023-03-12 18:10:19 -05:00
Doron Behar
ba4d56e20e tamarin-prover: install vim-plugin to nvim/site 2023-03-08 12:32:40 +02:00
Weijia Wang
3e5f408e73 isabelle: add aarch64-linux support 2023-03-07 18:20:46 +02:00
Weijia Wang
3d70562dfd leo2: add darwin support 2023-03-07 00:10:09 +02:00
Felix Buehler
d10e69c86b treewide: deprecate isNull 
https://nixos.org/manual/nix/stable/language/builtins.html#builtins-isNull
 2023-03-06 22:40:04 +01:00
Ilan Joselevich
e398da1460
Merge pull request #219606 from wegank/vampire-aarch64 
vampire: unbreak on aarch64-linux
 2023-03-06 22:19:54 +02:00
Weijia Wang
3796e59136 vampire: unbreak on aarch64-linux 2023-03-05 02:21:12 +02:00
Weijia Wang
1148f28242 cubicle: set env instead of postPatch 2023-03-05 01:44:26 +02:00
Alyssa Ross
2bfa93e01c
treewide: python{ => .pythonForBuild}.interpreter 
It won't be enough to fix cross in all cases, but it is in at least
one: pywayland.  I've only made the change in cases I'm confident it's
correct, as it would be wrong to change this when python.interpreter
is used in wrappers, and possibly when it's used for running tests.
 2023-02-26 20:26:17 +00:00
Norbert Melzer
d6f93d07b4
Merge pull request #210627 from wizeman/u/fix-fstar 2023-02-25 22:03:46 +01:00
Jörg Thalheim
a9167d159b
Merge pull request #217989 from kilianar/cryptominisat-5.11.4 
cryptominisat: 5.8.0 -> 5.11.4
 2023-02-24 12:31:35 +01:00
kilianar
8a10153e82 cryptominisat: 5.8.0 -> 5.11.4 
https://github.com/msoos/cryptominisat/releases/tag/5.11.4
 2023-02-24 09:32:00 +01:00