swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-11-06 02:06:46 +01:00
Code Issues Packages Projects Releases Wiki Activity
314436 commits 5 branches 0 tags 31 GiB
Commit graph

1112 commits

Author SHA1 Message Date
R. RyanTM 816d212fa2 gappa: 1.3.5 -> 1.4.0 2021-06-16 13:16:13 -07:00
Vincent Laporte 5ca9831cb1 ocamlPackages.menhir: 20190626 → 20210419 
ocamlPackages.menhirLib: init at 20210419
ocamlPackages.menhirSdk: init at 20210419
 2021-06-05 13:38:01 +02:00
Mauricio Collares cbaf78cdaa lean: substitute release commit sha1 2021-05-26 11:53:55 -03:00
R. RyanTM 15c278930c elan: 1.0.2 -> 1.0.6 2021-05-26 05:44:59 +00:00
Robert Scott bcc99b83d0 libpoly: fix darwin build 
issue reported upstream
 2021-05-21 20:21:20 -07:00
Stéphan Kochen acf640be7b elan: fix darwin build 2021-05-15 12:02:46 +02:00
maralorn 881d2af5ee
Merge pull request #122286 from NixOS/haskell-updates 2021-05-11 02:31:06 +02:00
Malte Brandy 39c0dd99a4
tamarin-prover: Mark broken 2021-05-11 01:56:48 +02:00
Ben Siraphob 418a37d99c coq2html: 20170720 -> 1.2 2021-05-09 22:00:15 +02:00
R. RyanTM 2c143443f7 libpoly: 0.1.8 -> 0.1.9 2021-05-08 18:34:00 -07:00
Jan Tojnar 468cb5980b gnome: rename from gnome3 
Since GNOME version is now 40, it no longer makes sense to use the old attribute name.
 2021-05-08 09:47:42 +02:00
Malte Brandy 2a11f1f5cc
Merge branch 'master' into haskell-updates 2021-05-07 15:03:54 +02:00
Arnout Engelen b68130fd2c
test-utilities: version test 
Extract 'version test' to a reusable test utility as discussed in
https://github.com/NixOS/nixpkgs/pull/119636#issuecomment-826137021 and
 2021-05-07 09:53:35 +02:00
sternenseemann eaeb69862c petrinizer: restrict platforms by sbv 
sbv has the most limited range of platforms of the dependencies.
 2021-05-06 16:24:58 +02:00
sternenseemann 73c2dd4aa6 petrinizer: fix build 
* take z3 haskell package from haskellPackages
* take sbv 7.13 from haskellPackages, apply patch fixing build
  with GHC >= 8.8.8
 2021-05-06 11:43:59 +02:00
R. RyanTM 96e1cc0768 lean: 3.29.0 -> 3.30.0 2021-05-01 05:49:45 +00:00
R. RyanTM e99e9f2d47 elan: 1.0.0 -> 1.0.2 2021-04-29 00:04:34 -04:00
Gabriel Ebner a062505e10
Merge pull request #120177 from r-ryantm/auto-update/elan 
elan: 0.11.0 -> 1.0.0
 2021-04-27 22:52:12 +02:00
R. RyanTM 32cb3382e5 elan: 0.11.0 -> 1.0.0 2021-04-27 22:32:13 +02:00
Gabriel Ebner abbc2384d7
Merge pull request #120822 from r-ryantm/auto-update/lean 
lean: 3.28.0 -> 3.29.0
 2021-04-27 22:28:19 +02:00
R. RyanTM 4ccb9422c7 lean: 3.28.0 -> 3.29.0 2021-04-27 05:34:13 +00:00
Vincent Laporte 35dfa0e927 alt-ergo: 2.3.3 → 2.4.0 2021-04-26 08:32:18 +02:00
R. RyanTM 82bc3d6c28 clingo: 5.4.1 -> 5.5.0 2021-04-22 07:44:27 +00:00
Mario Rodas d2275796d1 beluga: 2020-03-11 -> 1.0 2021-04-01 04:20:00 +00:00
Vincent Laporte ab16ad8764 coq_8_13: 8.13.1 → 8.13.2 2021-04-16 22:32:31 +02:00
Frederik Rietdijk d20a05e963 libpoly: use python3 2021-04-03 17:06:22 +02:00
Frederik Rietdijk 7865ac1046 lean2: stay with python2 
broken, so who knows...
 2021-04-03 17:06:21 +02:00
Gabriel Ebner 109d6b3bdb
Merge pull request #117712 from gebner/elan0110 
elan: 0.10.3 -> 0.11.0
 2021-03-26 19:58:29 +01:00
Gabriel Ebner 0661cf4882 elan: 0.10.3 -> 0.11.0 
Also adapt the patchelf patch from rustup, since Lean 4 now dynamically
links to gmp.
 2021-03-26 19:16:33 +01:00
Mario Rodas 01f3ceeaa9
Merge pull request #116630 from r-ryantm/auto-update/lean 
lean: 3.27.0 -> 3.28.0
 2021-03-25 19:15:00 -05:00
Paul Liétar 6f8eb1e65a coq: enable coqide on darwin 
This was disabled a while ago, when itstool was broken on darwin.
Now that itstool works again, it can be re-enabled.
 2021-03-23 08:17:13 +01:00
R. RyanTM fadcc52955 lean: 3.27.0 -> 3.28.0 2021-03-17 14:16:02 +00:00
Samuel Gräfenstein 9517398973
treewide: gnome3.defaultIconTheme -> gnome3.adwaita-icon-theme 
Fix building with `config.allowAliases = false;`.
 2021-03-17 00:00:15 +01:00
mucaho ddf1821112 tla-toolbox: 1.7.0 -> 1.7.1 
* updates package version
* fixes #114741
* fixes TLC model check call
 2021-03-14 12:27:35 -04:00
sternenseemann 6f2fbf5f0b treewide: add missing lib inputs 
This fixes hopefully all remaining missing lib inputs, likely introduced
as a regression by our recent treewide switch from stdenv.lib to lib.
These instances are all I could find using nix-instantiate --parse using
the following command:

    find "$NIXPKGS" -name '*.nix' \
      -and ! -path "$NIXPKGS/pkgs/development/interpreters/python/cpython/docs/template.nix" \
      -and ! -path '$NIXPKGS/.git/**' \
      -print0 | xargs -0 nix-instantiate --parse >/dev/null
 2021-03-03 13:40:45 +01:00
Vincent Laporte cd43a53947 coq_8_13: 8.13.0 → 8.13.1 2021-03-02 09:04:40 +01:00
R. RyanTM 4dd9084ca9 lean: 3.26.0 -> 3.27.0 2021-02-28 15:14:35 +00:00
Sandro 7918f4b407
Merge pull request #114539 from SuperSandro2000/z3-java 
z3: Add output for Java bindings (*.jar and *.so)
 2021-02-27 11:15:31 +01:00
Lorenz Leutgeb 7306864977
z3: Add output for Java bindings (*.jar and *.so) 2021-02-27 09:01:25 +01:00
Frederik Rietdijk c456a2512f Merge master into staging-next 2021-02-26 10:25:13 +01:00
Vincent Laporte a346c68411 acgtk: 1.5.1 → 1.5.2 2021-02-24 08:13:06 +01:00
Vladimir Serov f4eddc2fad hol: 10 -> 14 
also cleared broken status; builds on NixOS

Signed-off-by: Vladimir Serov <me@cab404.ru>
 2021-02-23 21:31:26 -05:00
Vincent Laporte f9a4e6b1e2 alt-ergo: use Dune 2 2021-02-23 22:11:44 +01:00
Ben Siraphob e03c068af5 treewide: makeWrapper buildInputs to nativeBuildInputs 2021-02-19 20:09:16 +07:00
github-actions[bot] 9185e731d2
Merge master into staging-next 2021-02-11 12:20:09 +00:00
David Anderson 6f1319a4d6 symbiyosys: fix the interpreter of the sby binary. 
Signed-off-by: David Anderson <dave@natulte.net>
 2021-02-10 18:45:44 -08:00
github-actions[bot] bb5521a62c
Merge master into staging-next 2021-02-10 12:20:06 +00:00
Fabian Affolter 5247884859 z3: 4.8.9 -> 4.8.10 2021-02-09 12:07:38 +01:00
github-actions[bot] 8ab0b85ead
Merge staging-next into staging 2021-02-03 12:22:13 +00:00
Jarl G. Taxerås Flaten 813d14b9b7
coq: 8.13+beta1 -> 8.13.0 (#109479) 2021-02-03 08:34:47 +01:00
github-actions[bot] 81337921f5
Merge staging-next into staging 2021-01-31 00:46:33 +00:00
Sandro Jäckel ced3ec6ce3
treewide: update permanent url redirects 2021-01-30 21:48:57 +01:00
github-actions[bot] c367646dd4
Merge staging-next into staging 2021-01-29 12:23:58 +00:00
R. RyanTM fe1239c794 lean: 3.25.0 -> 3.26.0 2021-01-29 05:15:16 +00:00
github-actions[bot] 798f7b136c
Merge staging-next into staging 2021-01-28 18:30:08 +00:00
Sandro e368149fcd
Merge pull request #111003 from NieDzejkob/isabelle-vampire 
isabelle: provide perl LWP for remote_vampire
 2021-01-28 18:32:27 +01:00
Jakub Kądziołka df410f8de7
isabelle: provide perl LWP for remote_vampire 2021-01-28 11:05:39 +01:00
github-actions[bot] 06efb52369
Merge staging-next into staging 2021-01-27 18:28:34 +00:00
Roland Coeurjoly cbad557fe2
saw-tools: update license (#110920) 2021-01-27 17:52:41 +01:00
Ben Siraphob 82454e9df8 treewide: remove implicit use of stdenv.lib 2021-01-27 20:04:57 +07:00
github-actions[bot] 1b5da764a7
Merge staging-next into staging 2021-01-27 12:24:09 +00:00
Sandro ad97ca4e51
Merge pull request #110912 from siraben/stdenv-lib-inherit 
treewide: remove inherited stdenv.lib
 2021-01-27 10:28:55 +01:00
Ben Siraphob 3bbad8b041 treewide: remove inherited stdenv.lib 2021-01-27 12:44:43 +07:00
Thomas Tuegel 0e418a1a18
Merge pull request #108888 from ttuegel/feature--staging--qt-no-mkDerivation 
Qt: Do not require mkDerivation
 2021-01-26 16:24:41 -06:00
Thomas Tuegel 5590e365e4
qtbase: Check for wrapQtAppsHook in setupHook 2021-01-25 15:56:15 -06:00
Pavol Rusnak a6ce00c50c
treewide: remove stdenv where not needed 2021-01-25 18:31:47 +01:00
Mario Rodas 214d726b92
Merge pull request #110487 from r-ryantm/auto-update/lean 
lean: 3.24.0 -> 3.25.0
 2021-01-24 10:17:35 -05:00
volth bc0d605cf1 treewide: fix double quoted strings in meta.description 
Signed-off-by: Ben Siraphob <bensiraphob@gmail.com>
 2021-01-24 19:56:59 +07:00
R. RyanTM 0119128f9e lean: 3.24.0 -> 3.25.0 2021-01-22 14:11:46 +00:00
sternenseemann 9212e03c13 acgtk: use dune install 2021-01-21 11:26:26 +01:00
zowoq 31f5dd3f36 treewide: editorconfig fixes 
- remove trailing whitespace
- use spaces for indentation
 2021-01-20 09:11:11 +10:00
Jonathan Ringer 9bb3fccb5b treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix 
continuation of #109595

pkgconfig was aliased in 2018, however, it remained in
all-packages.nix due to its wide usage. This cleans
up the remaining references to pkgs.pkgsconfig and
moves the entry to aliases.nix.

python3Packages.pkgconfig remained unchanged because
it's the canonical name of the upstream package
on pypi.
 2021-01-19 01:16:25 -08:00
R. RyanTM e776f923e4 elan: 0.10.2 -> 0.10.3 2021-01-18 15:20:28 +00:00
Ben Siraphob badf51221d treewide: stdenv.lib -> lib 2021-01-16 17:58:11 +07:00
Michael Raskin d714c53f17
fix mis-merge 2021-01-14 15:26:10 +00:00
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