public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
281,304 Commits 1 Branch 0 Tags 1.5 GiB
Commit Graph

1037 Commits

Author SHA1 Message Date
Michael Raskin f2210b7287
Merge branch 'master' into remove-opensmt 2021-01-14 14:22:22 +00:00
Profpatsch 4a7f99d55d treewide: with stdenv.lib; in meta -> with lib; 
Part of: https://github.com/NixOS/nixpkgs/issues/108938

meta = with stdenv.lib;

is a widely used pattern. We want to slowly remove
the `stdenv.lib` indirection and encourage people
to use `lib` directly. Thus let’s start with the meta
field.

This used a rewriting script to mostly automatically
replace all occurances of this pattern, and add the
`lib` argument to the package header if it doesn’t
exist yet.

The script in its current form is available at
https://cs.tvl.fyi/depot@2f807d7f141068d2d60676a89213eaa5353ca6e0/-/blob/users/Profpatsch/nixpkgs-rewriter/default.nix
 2021-01-11 10:38:22 +01:00
Jan Tojnar dd72357155
Merge branch 'master' into staging-next 2021-01-10 23:24:33 +01:00
John Ericson 05b5b5491e
Merge pull request #108507 from Ericson2314/ott-mode 
ott-mode: Factor our from ott
 2021-01-10 14:30:59 -05:00
Michael Weiss 8ae8602bf7
Merge branch 'master' into staging-next 
Manually resolved a conflict in
pkgs/development/libraries/libbladeRF/default.nix.
 2021-01-09 12:16:11 +01:00
Cyril Cohen 9ffd16b385 coqPackages: refactor 2021-01-09 11:56:17 +01:00
Jan Tojnar f19eb635b4
Merge branch 'master' into staging-next 
b04fc593e7 seems to have accidentally changed mkDerivation function for dfilemanager and solarus-quest-editor so I have reverted that here.
 2021-01-07 13:04:31 +01:00
Devon Richards 7a16349789
lean: 3.23.0 -> 3.24.0 
We have to update to be able to use the current version of mathlib.
 2021-01-06 21:38:04 -06:00
John Ericson 4eb13669a0 ott: Don't also install emacs mode 
There is now a separate package for that.
 2021-01-05 14:41:52 -05:00
Ben Siraphob 3ae5e6ce03 treewide: remove enableParallelBuilding = true if using cmake 2021-01-03 18:37:40 +07:00
freezeboy 9fd99b5a32 opensmt: 20101017 -> 2.0.1 2021-01-01 23:38:04 +01:00
Ben Siraphob b04fc593e7 treewide: cmake buildInputs to nativeBuildInputs, minor cleanups 2021-01-01 11:52:33 +07:00
Vincent Laporte 66c0fc3609 cryptoverif: 2.03pl1 → 2.04 2020-12-18 08:20:10 +01:00
Vincent Laporte b49a3fb852 cryptoverif: fix search for default library 2020-12-18 08:20:10 +01:00
Vincent Laporte c5556b7454 coq_8_12: 8.12.1 → 8.12.2 2020-12-16 07:45:54 +01:00
Vincent Laporte de8205f8bb coq_8_13: init at 8.13+β1 2020-12-15 21:13:40 +01:00
Alyssa Ross 8b8dfc5d40
cedille: 1.1.1 -> 1.1.2; fix build 2020-12-10 23:07:32 +00:00
R. RyanTM cec747d712 clingo: 5.4.0 -> 5.4.1 2020-12-07 13:03:03 +00:00
Austin Seipp e601758166
abc-verifier: 2020.06.22 -> 2020.11.24 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-12-02 07:18:05 -06:00
Austin Seipp a3ae8a4fcf
Merge pull request #100750 from arcz/boolector 
boolector: enable darwin build
 2020-12-02 03:19:54 -06:00
Artur Cygan da3c0ca0dd boolector: fix darwin build 2020-11-29 22:31:54 +01:00
Artur Cygan 38e6f15d98 btor2tools: fix install_name on darwin 2020-11-29 22:31:31 +01:00
Vincent Laporte 8ee7c2505f proverif: install emacs mode 2020-11-29 14:05:14 +01:00
Sandro 4dc26ca31d
Merge pull request #92646 from r-ryantm/auto-update/tla-toolbox 
tlaplusToolbox: 1.6.0 -> 1.7.0
 2020-11-29 04:01:21 +01:00
Michael Raskin 3ed321dfab z3: enable build on non-x86_64 unix; checked the build on aarch64-linux 2020-11-27 11:52:07 +01:00
Sandro 41408091bb
Merge pull request #105111 from r-ryantm/auto-update/workcraft 
workcraft: 3.3.1 -> 3.3.2
 2020-11-27 03:12:56 +01:00
R. RyanTM b25018203b workcraft: 3.3.1 -> 3.3.2 2020-11-27 01:53:34 +00:00
Patrick Hilhorst a6b3bb24e4
treewide: ran ./maintainers/scripts/update_redirected_urls.sh 2020-11-27 01:23:57 +01:00
Sandro ea49bac768
Merge pull request #99761 from fgaz/key/init 
key: init at 2.6.3
 2020-11-25 01:49:25 +01:00
Sandro 3da89983fd
Merge pull request #103590 from r-ryantm/auto-update/workcraft 
workcraft: 3.3.0 -> 3.3.1
 2020-11-24 02:07:43 +01:00
Vincent Laporte 2806eb2743 coq_8_12: 8.12.0 → 8.12.1 2020-11-15 12:03:15 +01:00
R. RyanTM 8acd7a3540 workcraft: 3.3.0 -> 3.3.1 2020-11-12 10:54:47 +00:00
R. RyanTM f7485d07b5 lean: 3.21.0 -> 3.23.0 2020-11-11 15:16:44 -08:00
Jan Tojnar a821be7531
Merge branch 'master' into staging-next 2020-11-05 09:42:47 +01:00
Gabriel Ebner 8279979f38 lean: build olean files 2020-11-04 16:32:56 +01:00
Frederik Rietdijk 470f05cb5d Merge staging-next into staging 2020-11-03 12:06:41 +01:00
Pavol Rusnak 2c931312ce treewide: simplify rev/repo arguments in src 
+ use fetchFromGithub where possible
 2020-11-01 23:02:24 -08:00
Frederik Rietdijk 83dde6c52c Merge staging-next into staging 2020-11-01 10:11:12 +01:00
Vincent Laporte 8cab21b48b Revert "coq: propagate and install ocaml and findlib" 
This reverts commit 5d0e2dedd5.
 2020-10-31 09:08:06 +01:00
Andreas Rammhold db0fe5c3eb
Merge branch master into staging to fix eval error 
This fixes the eval error of the small (and "big"?) NixOS test set that
was fixed in 1088f05 & eba8f542.
 2020-10-28 03:03:27 +01:00
Ben Siraphob db74029e3e treewide: remove package names from prefix of descriptions 2020-10-27 09:15:07 -07:00
Vladimír Čunát 336bc8283b
Re-Revert "Merge #101508: libraw: 0.20.0 -> 0.20.2" 
This reverts commit c778945806.

I believe this is exactly what brings the staging branch into
the right shape after the last merge from master (through staging-next);
otherwise part of staging changes would be lost
(due to being already reachable from master but reverted).
 2020-10-26 08:19:17 +01:00
Vladimír Čunát c778945806
Revert "Merge #101508: libraw: 0.20.0 -> 0.20.2" 
I'm sorry; I didn't notice it contained staging commits.

This reverts commit 17f5305b6c, reversing
changes made to a8a018ddc0.
 2020-10-25 09:41:51 +01:00
Vladimír Čunát 17f5305b6c
Merge #101508: libraw: 0.20.0 -> 0.20.2 2020-10-25 09:28:53 +01:00
Vincent Laporte 2cb651ad14 cryptoverif: 2.01pl1 → 2.03pl1 2020-10-23 10:20:09 +02:00
Jan Tojnar 3e01d383ee
Merge branch 'staging-next' into staging 2020-10-22 21:20:32 +02:00
Daiderd Jordan bb0b872b61
Merge pull request #100388 from thefloweringash/darwin-dylib-names-hook 
treewide: move fixDarwinDylibNames to nativeBuildInputs
 2020-10-21 19:25:48 +02:00
Théo Zimmermann 5d0e2dedd5 coq: propagate and install ocaml and findlib 
Fix #34657.
 2020-10-21 11:07:02 +02:00
Andrew Childs 722d02a720 treewide: move fixDarwinDylibNames to nativeBuildInputs 
This hook runs at build time and depends on executing
install_name_tool from binutils.
 2020-10-21 13:26:53 +09:00
Austin Seipp fba7eaeb63
Merge pull request #100741 from arcz/btor2tools 
btor2tools: enable unix platforms
 2020-10-19 16:18:56 -05:00
R. RyanTM 855b84d8b0 lean: 3.19.0 -> 3.21.0 2020-10-18 17:00:15 +00:00
Artur Cygan 5229b4502a btor2tools: enable unix platforms 2020-10-16 19:39:46 +02:00
Vincent Laporte 33b7529b01
tamarin-prover: 1.4.1 → 1.6.0 (#100148) 2020-10-13 10:16:11 +02:00
Francesco Gazzetta a302261318 key: init at 2.6.3 2020-10-06 17:37:23 +02:00
Jakub Kądziołka 8205e12a45
z3_4_4_0: add old version for Isabelle 2020-10-03 21:32:22 +02:00
Vincent Laporte cc739e1c67 ocamlPackages.z3: init at 4.8.9 2020-09-30 22:03:17 +02:00
Doron Behar 0307d0e82b
Merge pull request #98441 from vbgl/why3-1.3.3 
why3: 1.3.1 -> 1.3.3
 2020-09-23 10:35:57 +03:00
Robert Scott fc709e6dfe cvc3: enable for darwin 
it may be possible to get it building under clang with some work, but
switching it to gcc for now allows us to enable it
 2020-09-22 23:06:45 -07:00
Robert Scott 53a8a415ac cvc3: fix build against bison 3.7 
for some reason bison 3.7 output references $x_defs.h files under the name
$x.hpp. create symlinks to make this work.
 2020-09-22 23:06:45 -07:00
Austin Seipp daaa0e3350
Merge pull request #98239 from Sohalt/avy 
avy: 2017.10.16 -> cav19
 2020-09-22 23:19:05 -05:00
Vincent Laporte 64b68b30e9
why3: 1.3.1 -> 1.3.3 2020-09-23 03:24:02 +02:00
sohalt 40722346b8 avy: 2017.10.16 -> 2019.05.01 2020-09-20 16:13:29 +02:00
Gabriel Ebner 67ff41201f leo3: fix executable 2020-09-19 15:05:02 +02:00
Vincent Laporte cc4a33d78c ott: 0.30 → 0.31 2020-09-14 21:42:22 +02:00
Thomas Tuegel 87c7d1d4f8
z3: 4.8.8 -> 4.8.9 2020-09-11 14:38:43 -05:00
Badi Abdul-Wahid f3ce1df79a
tlaplus: remove myself from maintainers list 2020-09-09 10:40:46 -05:00
Vincent Laporte 2a82f71bed
proverif: 2.01 → 2.02pl1 2020-09-07 09:54:54 +02:00
R. RyanTM 1cd9dafce0 ott: 0.30 -> 0.31 2020-09-06 22:25:50 +01:00
Mario Rodas f7eb2883b5 lean: 3.18.4 -> 3.19.0 2020-08-29 04:20:00 +00:00
Vincent Laporte 5e6eeb795c alt-ergo: 2.3.2 → 2.3.3 2020-08-29 06:21:23 +02:00
Austin Seipp 1e451da386
mcy: 2020.07.06 -> 2020.08.03 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-08-23 11:01:24 -05:00
Austin Seipp 0eb943ecb1
symbiyosys: 2020.07.03 -> 2020.08.22 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-08-23 11:01:24 -05:00
Lassulus 15d98507ee
Merge pull request #87224 from Sohalt/isabelle 
isabelle: 2018 -> 2020
 2020-08-23 11:28:53 +02:00
Thomas Tuegel 616dd214d1 z3: add ttuegel to maintainers 2020-08-21 19:05:55 -07:00
Thomas Tuegel 1f512d7804 z3: 4.8.7 -> 4.8.8 2020-08-21 19:05:55 -07:00
Mario Rodas f96ec7d994
ocamlPackages.lablgtk3: propagate gtk3 (#95849) 2020-08-21 10:52:11 +02:00
Lassulus 8560589f55
Merge pull request #92337 from r-ryantm/auto-update/ltl2ba 
ltl2ba: 1.2 -> 1.3
 2020-08-20 23:02:41 +02:00
Gabriel Ebner 7f31fe9ea6 vampire: 4.4 -> 4.5.1 2020-08-17 19:39:32 +02:00
Mario Rodas b05ede05a1
Merge pull request #90281 from purcell/fast-downward-darwin 
fast-downward: 2019-05-13 -> 19.12, build on darwin, fix runtime issues
 2020-08-16 21:30:09 -05:00
Lorenz Leutgeb d50a6db016
z3: Add Java Bindings (#92096) 
Introduce new arguments to build Java Bindings, and to disable
building of Python bindings. Default behaviour is preserved.
 2020-08-15 07:37:38 +02:00
Vincent Laporte b8dfca143c coq_8_12: 8.12+β1 → 8.12.0 
coqPackages.equations: 1.2.2 → 1.2.3
 2020-08-08 06:33:08 +02:00
Vincent Laporte 390769312d coq_8_5: fix build (use gnumake 4.2) 2020-08-03 07:46:20 +02:00
R. RyanTM 7fc1e676ea lean: 3.16.5 -> 3.18.4 2020-08-02 04:55:59 +00:00
Gabriel Ebner aa37dc8aeb
Merge pull request #94389 from r-ryantm/auto-update/eprover 
eprover: 2.4 -> 2.5
 2020-08-01 11:12:37 +02:00
R. RyanTM 202ce2d867 eprover: 2.4 -> 2.5 2020-07-31 23:35:12 +00:00
Yurii Rashkovskii cc8369c461 why3: 1.2.1 -> 1.3.1 
Important: keeping why3 at 1.2.1 precludes framac 21.+ from having WP
plugin enabled, which is arguably a very important plugin.
 2020-07-30 23:05:08 +02:00
Vladyslav M 77d6eebc66
Merge pull request #90424 from kini/drat-trim/bump 
drat-trim: 2017-08-31 -> 2020-06-05
 2020-07-26 22:50:14 +03:00
Peter Simons b4dd96b206 sad: mark package as broken because if depends on dropped ghc-8.4.4 
Ping @schmitthenner.
 2020-07-24 13:06:29 +02:00
Martin Lundfall 424936ed33 cvc4: 1.6 -> 1.8 
Co-authored-by: Gabriel Ebner <gebner@gebner.org>

Update pkgs/applications/science/logic/cvc4/default.nix

Co-authored-by: Gabriel Ebner <gebner@gebner.org>
 2020-07-18 17:48:10 +02:00
Keshav Kini b28d329c62 drat-trim: 2017-08-31 -> 2020-06-05 2020-07-17 21:38:31 -07:00
Austin Seipp 44f8640ae4
mcy: 2020.03.21 -> 2020.07.06 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-07-09 10:33:09 -05:00
Austin Seipp a8e8e99458
symbiyosys: 2020.05.18 -> 2020.07.03 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-07-09 09:12:41 -05:00
Austin Seipp 63e55fae00
yosys: 2020.06.19 -> 2020.07.07 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2020-07-09 09:12:41 -05:00
Jörg Thalheim 223c91d032 cryptominisat: use fetchpatch 2020-07-09 08:21:21 +01:00
Jörg Thalheim e3d703bb92 cryptominisat: fix build on darwin 2020-07-09 08:11:28 +01:00
R. RyanTM 3628d0d893 cryptominisat: 5.7.1 -> 5.8.0 2020-07-08 04:51:18 +00:00
R. RyanTM 887f1978f6 tlaplusToolbox: 1.6.0 -> 1.7.0 2020-07-07 21:21:49 +00:00
R. RyanTM 12b36a950b ltl2ba: 1.2 -> 1.3 2020-07-05 14:25:04 +00:00
R. RyanTM a07fe7164b workcraft: 3.2.6 -> 3.3.0 2020-07-02 10:07:55 -07:00
Gabriel Ebner ab4bc959e7
Merge pull request #92044 from r-ryantm/auto-update/lean 
lean: 3.16.2 -> 3.16.5
 2020-07-02 15:27:58 +02:00