nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-15 18:23:09 +00:00
Code Issues Packages Projects Releases Wiki Activity
405,666 Commits 173 Branches 125 Tags 9.1 GiB
c8546067ce
Commit Graph

1413 Commits

Author SHA1 Message Date
davidak
6ea8d5ee71
Merge pull request #165297 from Stunkymonkey/treewide-pname-version-17 
treewide: rename name to pname&version
 2022-03-24 16:38:33 +01:00
Doron Behar
4a02c56a7d
Merge pull request #164746 from ncfavier/makeWrapper-chdir 2022-03-24 13:51:27 +02:00
Vincent Laporte
3d0a9d1668 coq_8_15: 8.15.0 → 8.15.1 2022-03-24 10:17:42 +01:00
Felix Buehler
3bc5196252 treewide: rename name to pname&version 2022-03-23 22:55:50 +01:00
Felix Buehler
e0476d93fe treewide: rename name to pname&version 2022-03-23 22:34:54 +01:00
Jan van Brügge
0391279c24
isabelle: Add isabelle-linter as optional component 2022-03-23 14:47:21 +01:00
Vladimír Čunát
a519740b4c
Merge branch 'staging-next' into staging 2022-03-21 11:57:43 +01:00
Gabriel Ebner
3aa72cc471
Merge pull request #157515 from jvanbruegge/isabelle-naproche 
isabelle: Enable and use naproche from nixpkgs
 2022-03-20 18:26:33 +01:00
Martin Weinelt
f4f3622cb1 Merge remote-tracking branch 'origin/staging-next' into staging 2022-03-20 00:00:32 +01:00
Naïm Favier
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`).
 2022-03-19 09:46:31 +01:00
Gabriel Ebner
dccd0f76c3
Merge pull request #164717 from collares/lean-3.42.0 
lean: 3.41.0 -> 3.42.0
 2022-03-18 17:31:26 +01:00
Mauricio Collares
897ba65b6f lean: 3.41.0 -> 3.42.0 2022-03-18 11:52:10 -03:00
github-actions[bot]
588298ee0a
Merge staging-next into staging 2022-03-18 12:01:57 +00:00
R. Ryantm
d29ff668b5 opensmt: 2.3.0 -> 2.3.1 2022-03-17 18:40:58 +00:00
zowoq
6431086967 Merge remote-tracking branch 'origin/staging-next' into staging 
Conflicts:
	pkgs/development/python-modules/symengine/default.nix
 2022-03-16 16:03:43 +10:00
Morgan Jones
98a951c509 klee: build with klee-uclibc 
This ends up enabling more of the KLEE test suite, so apply patches to
fix those too.
 2022-03-15 19:21:00 -06:00
Ben Siraphob
cc7b9eac78
Merge pull request #164195 from siraben/nuXmv-init 2022-03-15 18:53:13 +00:00
Ben Siraphob
b39792d141
nuXmv: init at 2.0.0 2022-03-15 13:50:58 -05:00
Alyssa Ross
d7e181ff83
Merge remote-tracking branch 'nixpkgs/staging-next' into staging 
Conflicts:
	pkgs/development/compilers/ocaml/4.12.nix
	pkgs/development/python-modules/oci/default.nix
	pkgs/tools/admin/bubblewrap/default.nix
 2022-03-14 12:33:16 +00:00
Sandro
529b89d755
Merge pull request #161434 from collares/lean-3.40.0 2022-03-12 23:43:20 +01:00
R. Ryantm
b3cadfd9e6 ott: 0.31 -> 0.32 2022-03-12 18:31:38 +00:00
R. Ryantm
29d7a27d9f opensmt: 2.2.0 -> 2.3.0 2022-03-12 17:44:51 +00:00
github-actions[bot]
a9a2d9475d
Merge staging-next into staging 2022-03-11 18:01:59 +00:00
Mauricio Collares
bab25a7a3a lean: 3.40.0 -> 3.41.0 2022-03-11 11:40:27 -03:00
Luflosi
0e4d199cbd
abc-verifier: 2021.11.12 -> 2022.03.04 2022-03-08 18:28:13 +01:00
Jan van Brügge
c1ef185bdb
isabelle: Use naproche from nixpkgs 2022-03-01 13:43:38 +01:00
Jan van Brügge
2b71e68503
naproche: init at 0.1.0.0 2022-03-01 13:43:37 +01:00
github-actions[bot]
fbd1c5b484
Merge staging-next into staging 2022-03-01 12:11:43 +00:00
Gabriel Ebner
8934eb7c91
Merge pull request #157843 from jvanbruegge/isabelle_setup 
isabelle: Rebuild isabelle_setup.jar
 2022-03-01 12:11:25 +01:00
github-actions[bot]
f831b62376
Merge staging-next into staging 2022-02-28 12:01:47 +00:00
Bobby Rong
f35d1b8568
Merge pull request #160332 from florentc/tlaps 
tlaps: 1.4.3 -> 1.4.5
 2022-02-28 16:33:42 +08:00
Jonathan Ringer
3af9faf36d
Merge pull request #133431 from Ma27/glibc-2.34 
glibc: 2.33-108 -> 2.34-115
 2022-02-27 18:07:11 -08:00
Guillaume Girol
b9ecdae495
Merge pull request #161344 from ulrikstrid/ulrikstrid/tree-wide-native-inputs 
ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs
 2022-02-27 19:49:07 +00:00
Maximilian Bosch
52bba1de8a
clingcon: fix build w/glibc-2.34 
Failing Hydra build: https://hydra.nixos.org/build/163641612
 2022-02-27 10:26:56 +01:00
Vincent Laporte
68e4b639a3
Merge pull request #161111 from ulrikstrid/ulrikstrid/coq-move-dune-to-native 
coq: Move dune, ocaml and findlib to nativeBuildInputs
 2022-02-26 08:54:53 +01:00
K900
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
 2022-02-25 13:40:38 -08:00
Ulrik Strid
7e20e9039e coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true 
Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>
 2022-02-25 07:54:17 +01:00
Vincent Laporte
056c34167d why3: 1.4.0 → 1.4.1 2022-02-25 06:00:09 +01:00
Ulrik Strid
48df7cdbba coq: Move dune to nativeBuildInputs and add ocaml, findlib and menhir 2022-02-24 14:39:45 +01:00
Ulrik Strid
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
 2022-02-24 14:39:27 +01:00
Renaud
a723c88d4e
Merge pull request #159967 from r-ryantm/auto-update/workcraft 
workcraft: 3.3.5 -> 3.3.6
 2022-02-23 13:30:39 +01:00
Mauricio Collares
4ba9b2d198 lean: 3.39.2 -> 3.40.0 2022-02-22 21:02:08 -03:00
Ulrik Strid
4150bf02b5 coq: allow static linking by moving wrapGAppsHook to nativeBuildInputs 
Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>
 2022-02-18 15:17:04 +01:00
Mauricio Collares
0c36a9cc35 lean: 3.39.1 -> 3.39.2 2022-02-17 23:42:05 -03:00
Florent C
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.
 2022-02-16 15:19:51 +01:00
Artturi
83dc7a2714
Merge pull request #159808 from r-ryantm/auto-update/tlaplus 2022-02-16 15:53:15 +02:00
Ben Siraphob
521cfab34b
Merge pull request #157626 from siraben/formula-init 2022-02-15 18:38:41 -06:00
Ben Siraphob
7f94906083
formula: init at 2.0 2022-02-15 14:09:16 -06:00
Lorenz Leutgeb
f7e01145af gradle: Update hashes of dependents for 7.4 2022-02-15 09:17:56 +01:00
Jan van Brügge
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.
 2022-02-14 15:17:58 +01:00
R. Ryantm
e1f6e33d01 workcraft: 3.3.5 -> 3.3.6 2022-02-14 09:43:01 +00:00
R. Ryantm
42d5cbb78e tlaplus: 1.7.1 -> 1.7.2 2022-02-13 10:33:51 +00:00
Angus Trau
18592865d7 maintainers: update emilytrau 2022-02-11 04:45:03 +00:00
Mauricio Collares
58f58c8de6 lean: 3.39.0 -> 3.39.1 2022-02-08 12:24:19 -03:00
Ben Siraphob
3594565a7e
Merge pull request #156629 from siraben/coq-mainprogram 
coq: add meta.mainProgram
 2022-02-06 21:43:01 +00:00
Ben Siraphob
6ad0e10dd3
coq: add meta.mainProgram 2022-02-06 15:42:47 -06:00
Mauricio Collares
0ebdfab88b lean: 3.38.0 -> 3.39.0 2022-02-03 09:21:20 -03:00
Сухарик
3f90b3a1e1 anders: init at 1.1.1 2022-02-02 12:31:53 +03:00
Sandro
a724f8dc29
Merge pull request #155897 from FliegendeWurst/key-2.10 2022-01-30 01:21:43 +01:00
FliegendeWurst
48a133a066 key: add a desktop item 2022-01-29 10:14:54 +01:00
Sandro
27cccd4e49
Merge pull request #151363 from Stunkymonkey/doc-updateWalker 2022-01-27 14:06:36 +01:00
Felix Buehler
09e3b7a570 treewide: remove all updateWalker/downloadURLRegexp 2022-01-26 21:46:08 +01:00
Felix Buehler
ed7bf9452c treewide: remove *.upstream files from updateWalker 2022-01-26 21:46:07 +01:00
Gabriel Ebner
b27b115b41
Merge pull request #154272 from jvanbruegge/isabelle-build-hol 
isabelle: Prebuild HOL session
 2022-01-26 16:37:18 +01:00
Vincent Laporte
8187f6500d tamarin-prover: install emacs-mode 2022-01-25 15:54:15 +01:00
Vincent Laporte
20e7213d16 coq_8_15: 8.15+rc1 → 8.15.0 2022-01-25 10:53:57 +01:00
FliegendeWurst
28b43ffd54 key: 2.6.3 -> 2.10.0 2022-01-22 15:55:25 +01:00
Jan van Brügge
d653b33f20
maintainers: add jvanbruegge 2022-01-19 18:25:27 +01:00
Jan van Brügge
6fff929c5e
isabelle: Prebuild HOL session 
Upstream isabelle ships with this session, but the changes done for
nixpkgs invalidate it, requiring every user to build it again.
 2022-01-19 18:25:26 +01:00
Mauricio Collares
c3b215f678 lean: 3.37.0 -> 3.38.0 2022-01-12 16:25:20 -03:00
1000teslas
a4b6785de9 isabelle: patch jni libs for nitpick 2022-01-11 21:09:27 +11:00
1000teslas
d9d30199ec isabelle: patch zipperposition binary 2022-01-11 11:55:38 +11:00
Renaud
3e90bc0c91
Merge pull request #153014 from numinit/add-klee 
klee: init at 2.2
 2022-01-09 00:16:19 +01:00
Morgan Jones
5f8f72c10c klee: init at 2.2 2022-01-08 15:49:07 -07:00
Mauricio Collares
81d4c28748 lean: 3.36.0 -> 3.37.0 2022-01-07 16:51:55 -03:00
Mauricio Collares
b790f8ce31 lean: 3.35.1 -> 3.36.0 2022-01-04 10:35:17 -03:00
Gabriel Ebner
adf7f03d3b
Merge pull request #153337 from collares/lean-3.35.1 
lean: 3.35.0 -> 3.35.1
 2022-01-03 16:40:00 +01:00
Mauricio Collares
5b3eac3130 lean: 3.35.0 -> 3.35.1 2022-01-03 11:42:18 -03:00
Gabriel Ebner
7fb27d1c22
Merge pull request #153190 from jvanbruegge/isabelle-vampire 
isabelle: Use vampire and eprover from nixpkgs
 2022-01-02 22:56:09 +01:00
Jan van Brügge
c601134af8
isabelle: Use vampire and eprover from nixpkgs 
It also removes the unused perl input
 2022-01-02 20:53:33 +01:00
Jan van Brügge
f79b811f2d
eprover: Add option to enable LFHOL reasoning 
Using eprover as automated theorem prover for sledgehammer requires this
option.
 2022-01-02 20:53:32 +01:00
Sergei Trofimovich
369d7bb4ca z3: 4.8.12 -> 4.8.14 
While at it added trivial updater plumbing.
 2022-01-02 12:45:59 -06:00
R. RyanTM
0bf7411211
libpoly: 0.1.10 -> 0.1.11 
* libpoly: 0.1.10 -> 0.1.11 (#144410)

* libpoly: remove unneeded postPatch

(fixed upstream by now)

Co-authored-by: Renaud <c0bw3b@users.noreply.github.com>
 2022-01-02 17:38:00 +01:00
R. RyanTM
caa56925f9
yices: 2.6.2 -> 2.6.4 
(#143311)
 2022-01-02 10:15:42 +01:00
Jan van Brügge
b54e5a841b
vampire: 4.5.1 -> 4.6.1 2022-01-01 22:13:11 +01:00
Jan van Brügge
4b9c0cb005
isabelle: 2021 -> 2021-1 2021-12-31 13:01:41 +01:00
Jan van Brügge
d3e2cf4314
verit: 2016 -> 2021.06.2 2021-12-31 13:00:43 +01:00
Ben Siraphob
39a0a70d29
treewide: fix homepages with permanent redirect to https 2021-12-29 22:06:47 +07:00
Felix Buehler
cb448459d0 potassco: switch to fetchFromGitHub 2021-12-23 19:11:17 +01:00
Felix Buehler
f4931dfaee ekrhyper: refactor 2021-12-21 12:44:01 +01:00
Gabriel Ebner
a3bbbe08bd
Merge pull request #151328 from Kha/elan-lean-cc 
elan: set LEAN_CC to stdenv cc
 2021-12-19 17:39:28 +01:00
Sebastian Ullrich
b20024dd3a elan: set LEAN_CC to stdenv cc 
This ensures that `leanc` understands cc-wrapper vars such as `NIX_LDFLAGS`
 2021-12-19 17:27:10 +01:00
mucaho
1509f463a0 clingcon: 3.3.0 -> 5.0.0 2021-12-16 20:28:19 +01:00
Felix Buehler
4cc23f2b1e why3.withProvers: add dontUnpack 2021-12-12 20:33:14 +01:00
Jörg Thalheim
2a322411ff
Merge pull request #150217 from r-ryantm/auto-update/cryptoverif 
cryptoverif: 2.04 -> 2.05
 2021-12-11 12:53:42 +00:00
R. Ryantm
50554a43cf cryptoverif: 2.04 -> 2.05 2021-12-11 10:05:51 +00:00
Vincent Laporte
a2dc97cd5c proverif: 2.03 → 2.04 2021-12-09 17:45:15 +01:00
Vincent Laporte
a160defe64 coq_8_15: init at 8.15+rc1 2021-12-09 15:46:06 +01:00
R. Ryantm
817561795f logisim-evolution: 3.7.1 -> 3.7.2 2021-12-07 12:21:37 +00:00
R. Ryantm
d5368e3bdb clingo: 5.5.0 -> 5.5.1 2021-12-06 09:34:25 +00:00
Austin Seipp
2a295f42c8 symbiyosys: 2021.09.13 -> 2021.11.30 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2021-12-02 21:48:51 -06:00
Austin Seipp
a79ca33d94 yosys: 0.10+1 -> 0.11+52, with abc update 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2021-12-02 21:48:51 -06:00
Vincent Laporte
48406e3fca coq_8_14: 8.14.0 → 8.14.1 
And build Coq ≥ 8.14 with OCaml 4.12
 2021-12-01 13:46:15 +01:00
Sandro
eff5cece35
Merge pull request #146648 from florentc/tlaplus 2021-11-25 12:38:31 +01:00
Florent C
b5d3526bab tlaplus: 1.7.0 -> 1.7.1 
This updates tlaplus to the most recent stable version and directly
fetches the tlatools jar file from the official Github release page
instead of building from the sources. In the previous tlaplus nix
package, there was an issue with the tools when passing some command
line arguments such as `-workers 4` for TLC. A java string method was
not found and the program would not proceed correctly. This solves this
issue.
 2021-11-25 10:56:11 +01:00
Ryan Burns
2175b157ac treewide: refactor isi686 && isx86_64 -> isx86 2021-11-20 17:50:41 -08:00
figsoda
6ad04bcb7d
Merge pull request #146243 from figsoda/treewide-rust-feature 
treewide: use buildFeatures and checkFeatures for rust packages
 2021-11-16 21:00:48 -05:00
Sandro
0e4ef9ab2b
Merge pull request #139294 from shnarazk/kissat-init 2021-11-16 18:47:19 +01:00
figsoda
2448ef4630 elan: use buildFeatures 2021-11-16 08:11:49 -05:00
Gabriel Ebner
f4e3542f5d
Merge pull request #146162 from Kha/elan-wrap-lld 
elan: wrap embedded linker
 2021-11-15 18:07:14 +01:00
Sebastian Ullrich
f8bbc587eb elan: wrap embedded linker 2021-11-15 17:10:04 +01:00
Robert Scott
e4362cea6f monosat, python3Packages.monosat: fix for non-x86 2021-11-14 22:25:09 +00:00
Robert Scott
9149d366b9 boolector: add patch fixing build on aarch64-linux 2021-11-13 19:45:51 -06:00
Robert Scott
3b7766eac2 lingeling: pre1_03b4860d -> pre1_708beb26 2021-11-13 19:45:51 -06:00
Thomas Watson
1564d88c41 redprl: unstable-2017-03-28 -> unstable-2019-11-04 2021-11-12 19:24:17 -06:00
Sandro
3260545bc7
Merge pull request #145056 from angustrau/logisim-evolution-3.7.1 2021-11-11 14:01:44 +01:00
Sandro
9a9ef88b8c
Merge pull request #145178 from SuperSandro2000/applications 
Applications
 2021-11-09 21:33:41 +01:00
Sandro Jäckel
b1c5442ceb
fixup! prover9: convert patchPhase to postPatch, cleanup meta 2021-11-09 20:26:04 +01:00
Sandro Jäckel
15d85dac80
redprl: switch to fetchFromGitHub, use postPatch 2021-11-09 20:10:31 +01:00
Sandro Jäckel
11c55d061e
prover9: convert patchPhase to postPatch, cleanup meta 2021-11-09 20:10:30 +01:00
Vincent Laporte
b42501e1e7 proverif: 2.02pl1 → 2.03 
Do not build `proverif_interact` (that was not installed).
 2021-11-09 17:50:01 +01:00
Angus Trau
14580c7f4d logisim-evolution: 3.5.0 -> 3.7.1 2021-11-09 17:33:19 +11:00
Felix Buehler
b52ab3b712 pkgs/applications: rename name to pname&version part 2 2021-11-07 14:53:06 +01:00
Michael Raskin
df3adb0398
Merge pull request #144502 from r-ryantm/auto-update/opensmt 
opensmt: 2.1.1 -> 2.2.0
 2021-11-03 18:23:06 +00:00
R. Ryantm
8fed17e682 opensmt: 2.1.1 -> 2.2.0 2021-11-03 18:03:12 +00:00
R. Ryantm
14ee52edff elan: 1.3.0 -> 1.3.1 
(cherry picked from commit 4cb7820ac9)
 2021-11-03 10:51:13 +01:00
Vincent Laporte
f727a6aebe why3: remove spurious camlp5 dependency 2021-11-01 20:37:57 +01:00
Mauricio Collares
89d7336c20 lean: 3.34.0 -> 3.35.0 2021-11-01 19:17:17 +01:00
Mauricio Collares
c707a468a4 lean: 3.33.0 -> 3.34.0 2021-11-01 19:17:17 +01:00
Gabriel Ebner
f13aa788e1 elan: 1.2.0 -> 1.3.0 2021-11-01 13:37:56 +01:00
Smaug123
925ab444c9 elan: 1.1.0 -> 1.2.0 
The move to 1.1.0 broke Darwin: the patch introduced during that move
is also required on Darwin, but is hidden behind a Linux-specific
optional. The patch has since made it upstream, so the easiest fix
is simply to upgrade Elan.
 2021-10-31 21:41:38 +00:00
Sergei Trofimovich
597eb07e00 yices: drop symlink hack, avoid ldconfig on linux 
Reported by sternenseemann as a failure on darwin:
https://github.com/NixOS/nixpkgs/pull/141541#discussion_r739634263

Instead of emulating symlink creation in `.nix` file let's create
them in Makefile.build directly in a way that can be upstreamed.
 2021-10-31 09:08:41 +01:00
Vincent Laporte
22e732d03c tamarin-prover: 1.6.0 → 1.6.1 2021-10-22 07:38:30 +02:00
Ben Darwin
3032353fcb abella: 2.0.6 -> 2.0.7 2021-10-19 13:25:44 -04:00
Théo Zimmermann
e242eef8a4 coq_8_14: 8.14+rc1 -> 8.14.0 2021-10-15 18:50:05 +02:00
Artturi
6d65c1c56d
Merge pull request #141541 from trofi/fix-yices-links 2021-10-15 05:07:49 +03:00
Shadaj Laddad
9d02ea53de cadical: include C++ headers 2021-10-14 15:23:05 -07:00
Vincent Laporte
cafe9f88fc
leo2: 1.6.2 → 1.7.0 
Fix build with recent C++ compilers

Use a more recent OCaml (4.05)
 2021-10-14 09:45:49 +02:00
Alyssa Ross
851b719ac6 treewide: use stdenv.hostPlatform.extensions.sharedLibrary where appropriate 2021-10-13 17:39:37 +00:00
Sergei Trofimovich
0b2d3bbfcb yices: 2.6.3 -> 2.6.2 
2.6.3 is not a stable tag (and is really a 2.6.4 in disguise).
Failure is noticed by vbgl in https://github.com/NixOS/nixpkgs/pull/141241#issuecomment-942103854

The change downgrades from unstable to latest stable release and
adds a check for file presence to prevent upgrade that silently
breaks symlink.
 2021-10-13 17:58:26 +01:00
Théo Zimmermann
3437b543fd coq_8_14: init at 8.14+rc1 2021-10-13 10:44:09 +02:00
Vincent Laporte
e31bc3d26a coq2html: 1.2 → 1.3 2021-10-13 10:15:05 +02:00
Sergei Trofimovich
b18a746169
yices: 2.6.1 -> 2.6.3 (#141241) 
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
 2021-10-12 23:09:47 +02:00
Vincent Laporte
17e2fbf2dc alt-ergo: 2.4.0 → 2.4.1 2021-10-12 14:41:54 +02:00
Gabriel Ebner
9044534a8d elan: 1.0.7 -> 1.1.0 2021-10-09 20:06:10 +02:00
Anders Kaseorg
4ce09e0e06 lean: 3.32.1 → 3.33.0 
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
 2021-10-07 18:54:06 -07:00
Narazaki, Shuji
4de6574fb8 kissat: init at 2.0.1 2021-10-04 08:45:36 +09:00
Austin Seipp
d474571392 symbiyosys: 2020.08.22 -> 2021.09.13 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2021-09-29 13:14:27 -05:00
Bruce Collie
3e213b8699 z3: 4.8.10 -> 4.8.12 2021-09-24 11:46:21 +01:00
Naïm Favier
b2391a51d2 coq: add desktop file for coqide 2021-09-23 14:39:50 +02:00
R. RyanTM
1c9cbe8a05 opensmt: 2.1.0 -> 2.1.1 2021-09-14 18:44:37 +00:00
kzvi
befe89f3d7 lean: 3.31.0 -> 3.32.1 2021-08-23 15:43:00 -07:00
Artturi
f2f1718aae
Merge pull request #135404 from r-ryantm/auto-update/workcraft 2021-08-23 17:28:09 +03:00
Artturi
55fdaafe15
Merge pull request #135398 from r-ryantm/auto-update/verifast 
verifast: 19.12 -> 21.04
 2021-08-23 17:25:35 +03:00
R. RyanTM
6b086631c6 workcraft: 3.3.2 -> 3.3.5 2021-08-23 08:01:40 +00:00
R. RyanTM
a73fc504b7 verifast: 19.12 -> 21.04 2021-08-23 07:29:27 +00:00
Narazaki, Shuji
960ddb6f8f cadical: 1.3.0 -> 1.4.1 2021-08-22 20:46:34 +09:00
R. RyanTM
3760bcfd58 opensmt: 2.0.1 -> 2.1.0 2021-08-22 09:30:15 +00:00
davidak
f2b906617d
Merge pull request #134361 from Stunkymonkey/why3-phases 
why3: deprecate phases
 2021-08-19 04:06:56 +02:00
Gabriel Ebner
f267d39257
Merge pull request #134394 from r-ryantm/auto-update/elan 
elan: 1.0.6 -> 1.0.7
 2021-08-17 10:03:05 +02:00
R. RyanTM
b1868a8296 elan: 1.0.6 -> 1.0.7 2021-08-17 03:53:13 +00:00
Felix Buehler
c849ada0c5 why3: deprecate phases 2021-08-16 22:50:19 +02:00
Felix Buehler
8a8a949ffd tlaplusToolbox: deprecate phases 2021-08-16 21:54:44 +02:00
Felix Buehler
8ad1a7859a tlaps: deprecate phases 2021-08-16 21:54:22 +02:00
Sandro
7d75a19c60
Merge pull request #131463 from angustrau/logisim-evolution 2021-08-12 12:22:42 +02:00
Felix Buehler
f67a0a37f0 saw-tools: remove phases 2021-08-03 00:03:41 +02:00
Ben Siraphob
2f94991628 treewide: fix redirected URLs 
Using the script in maintainers/scripts/update-redirected-urls.sh
 2021-08-01 00:01:50 +07:00
R. RyanTM
1d4ae0cfb7 libpoly: 0.1.9 -> 0.1.10 2021-07-28 00:31:53 +00:00
Guillaume Girol
455712841c
Merge pull request #130663 from symphorien/bitwuzla 
bitwuzla: init at unstable-2021-07-01
 2021-07-26 19:45:46 +00:00
Angus Trau
351b7d24e2
logisim: create desktop entry (#131450) 2021-07-25 17:46:34 -04:00
Guillaume Girol
1894e8d945 bitwuzla: init at unstable-2021-07-01 2021-07-25 15:52:25 +02:00
Angus Trau
92cced04c6 logisim-evolution: init at 3.5.0 2021-07-25 19:52:24 +10:00
Guillaume Girol
0708fe494b cadical: install library 2021-07-23 21:19:27 +02:00
Ben Siraphob
a5049e8caa
Merge pull request #130971 from siraben/parallel-coq 
coq: enable parallel building
 2021-07-22 10:00:42 +07:00
Ben Siraphob
7c1d4d8255 coq: enable parallel building 2021-07-22 02:04:47 +07:00
Sandro
8472d44b82
Merge pull request #130812 from SuperSandro2000/SuperSandro2000-patch-4 
logisim: cleanup
 2021-07-20 19:48:37 +02:00
Sandro
fd1ab319b7
logisim: cleanup 2021-07-20 18:33:48 +02:00
Sandro
c401885fe1
Merge pull request #130192 from Stunkymonkey/logisim-phases 
logisim: deprecate phases
 2021-07-20 18:32:40 +02:00
Guillaume Girol
6554384a70 boolector: 3.2.1 -> 3.2.2 2021-07-19 16:11:01 -07:00
Jan van Brügge
e32da890c9
isabelle: Add desktop entry 2021-07-19 12:04:30 +02:00
Jan van Brügge
9111bd40b2
isabelle: 2020 -> 2021 2021-07-18 23:51:36 +02:00
Felix Buehler
82cb33a0ae treewide: remove meta.version 2021-07-18 00:07:38 +02:00
(cdep)illabout
299082636c
cedille: set no hydra platforms 2021-07-17 11:17:09 +09:00
(cdep)illabout
ff0c051daf
cedille: mark broken 2021-07-17 11:10:26 +09:00
Sandro
9b8e8b2047
Merge pull request #130193 from Stunkymonkey/verifast-phases 
verifast: deprecate phases
 2021-07-15 23:40:17 +02:00
Sandro
025cab89d9
Merge pull request #130187 from Stunkymonkey/workcraft-phases 
workcraft: deeprecate phases
 2021-07-15 21:59:16 +02:00
Vincent Laporte
e57571bdb6 gappa: 1.3.5 → 1.4.0 2021-07-15 07:55:52 +02:00
Felix Buehler
b6fb4cedaf verifast: deprecate phases 2021-07-14 16:41:30 +02:00
Felix Buehler
ac75afe239 logisim: deprecate phases 2021-07-14 16:40:28 +02:00
Felix Buehler
cdf9e86ad1 leo3-bin: deprecate phases 2021-07-14 16:38:38 +02:00
Felix Buehler
3680a85bcb workcraft: deeprecate phases 2021-07-14 16:33:41 +02:00
Gabriel Ebner
7880aaa756
Merge pull request #124454 from r-ryantm/auto-update/elan 
elan: 1.0.2 -> 1.0.6
 2021-07-04 10:19:58 +02:00
Sarunas Valaskevicius
5b69b1f3fe tlaToolbox: fix crash on file open dialog 2021-07-02 23:04:39 +01:00
Gabriel Ebner
b38329171a
Merge pull request #128926 from collares/lean-3.31 
lean: 3.30.0 -> 3.31.0
 2021-07-02 19:57:13 +02:00
Mauricio Collares
258e959faf lean: 3.30.0 -> 3.31.0 2021-07-01 20:47:08 -03:00
Ben Siraphob
e86f5bfa8f hol: expand platforms to unix 2021-07-01 22:19:02 +07:00
Théo Zimmermann
cc84f3906e coq: fix issue introduced in #128603 
This triggerred coq-community/coq-nix-toolbox#42.
 2021-06-30 16:38:39 +02:00
Théo Zimmermann
d3bb50e7da
Coq: adapt for upcoming 8.14 (#128603) 2021-06-30 04:47:31 +02:00
Vincent Laporte
d60534722e why3: use GTK3 2021-06-27 09:03:12 +02:00
Vincent Laporte
773bdf6998 why3: 1.3.3 → 1.4.0 
framac: 22.0 → 23.0-rc1
 2021-06-27 09:03:12 +02:00