JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
226,871 Commits 2 Branches 0 Tags 13 GiB
67d6002df1
Commit Graph

863 Commits

Author SHA1 Message Date
Jannik Vierling
6ea5cd21ab iprover: 2018_Jul_24_11h -> 3.1 2020-02-09 09:38:57 +01:00
Emily
a14a32fd75 symbiyosys: 2019.10.11 -> 2020.02.08 2020-02-08 23:00:07 -06:00
R. RyanTM
5bf0de57ad workcraft: 3.1.9 -> 3.2.5 2020-02-07 21:09:41 +00:00
Florian Klink
570afbcb5b abc-verifier: passthru rev 
Some consumers of abc-verifier require certain abc versions.
For that reason, expose the exact rev via a passtrhru.
 2020-02-01 12:49:45 +01:00
Florian Klink
351f47da57 abc-verifier: 2018-07-08 -> 2020-01-11 2020-02-01 12:49:45 +01:00
Vincent Laporte
13dd5844fd coqPackages_8_11.coq: 8.11+β1 → 8.11.0 2020-01-31 14:09:51 +01:00
Vincent Laporte
659a7ae963 coq: disable CoqIDE on Darwin for Coq ≥ 8.10 2020-01-31 14:09:51 +01:00
Luka Blaskovic
fd614a8e8f saw-tools: use default llvm 2020-01-30 18:35:30 -05:00
Mario Rodas
a20b7cff7c
Merge pull request #78521 from r-ryantm/auto-update/ott 
ott: 0.29 -> 0.30
 2020-01-29 21:47:20 -05:00
R. RyanTM
f1085d02bb ott: 0.29 -> 0.30 2020-01-26 09:43:23 +00:00
DwarfMaster
227a3f4383 Renamed maintainer lucas8 -> dwarfmaster 2020-01-21 16:39:52 +10:00
Robin Gloster
ab0cfd9e03
treewide: NIX_*_COMPILE -> string 2019-12-31 00:10:18 +01:00
Frederik Rietdijk
6d059becd3 Merge gcc-9 into staging (#68029) 2019-12-30 16:38:38 +01:00
Merijn Broeren
133103d709
treewide: replace make/build/configure/patchFlags with nix lists 2019-12-30 12:58:11 +01:00
Franz Pletz
1a871b4382
minisat: 2.2.0 -> 2.2.1 2019-12-30 03:50:35 +01:00
Maximilian Bosch
9842c4b107
treewide: update which packages I'm currently maintaining 
Idea shamelessly stolen from 4e60b0efae.

I realized that I don't really know anymore where I'm listed as maintainer and what
I'm actually (co)-maintaining which means that I can't proactively take
care of packages I officially maintain.

As I don't have the time, energy and motivation to take care of stuff I
was interested in 1 or 2 years ago (or packaged for someone else in the
past), I decided that I make this explicit by removing myself from several
packages and adding myself in some other stuff I'm now interested in.

I've seen it several times now that people remove themselves from a
package without removing the package if it's unmaintained after that
which is why I figured that it's fine in my case as the affected pkgs
are rather low-prio and were pretty easy to maintain.
 2019-12-26 15:27:47 +01:00
Franz Pletz
77b6c3cd06
Merge remote-tracking branch 'origin/master' into gcc-9 2019-12-26 14:17:36 +01:00
Alyssa Ross
7887a81193
treewide: fix cargoSha256 (again) 
cargo-vendor output was changed in a4fc84de44.
 2019-12-20 20:08:53 +00:00
Austin Seipp
367676ce82
z3: 4.8.5 -> 4.8.7 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-12-14 20:33:59 -06:00
Vincent Laporte
856d0a44ec
Merge pull request #75141 from vbgl/coq-8.11β1 
coq_8_11: init at 8.11+β1
 2019-12-14 19:13:40 +01:00
Robert Scott
c676063047 btor2tools: correct meta information 2019-12-12 10:37:02 -06:00
Robert Scott
b9185a96be boolector: add patch for CVE-2019-7560 2019-12-12 10:37:02 -06:00
Robert Scott
2611887c2e lingeling: enable for darwin 2019-12-08 18:32:04 +00:00
Robert Scott
dc6233b972 aiger: enable for darwin 2019-12-08 18:31:49 +00:00
Vincent Laporte
2942490c2c
coq_8_11: init at 8.11+β1 2019-12-07 07:58:00 +00:00
Matt Huszagh
9c7cd63b3d symbiyosys: add yices dependency 
Symbioyosys requires at least smt solver backend
to work out of the box.
 2019-12-04 14:29:31 -06:00
Vincent Laporte
3806eff9ca coq_8_10: 8.10.1 → 8.10.2 2019-12-03 13:51:52 +00:00
Jonathan Ringer
0c1c18ca44
Merge branch 'master' into staging-next 2019-11-27 22:57:50 -08:00
John Ericson
d60532bc71 coq: Fix setup hook 2019-11-25 14:20:10 +00:00
Frederik Rietdijk
5f8b0d7d99 Merge staging-next into staging 2019-11-19 14:53:29 +01:00
adisbladis
c9d8624ccd
treewide: Get rid of libGLU_combined 2019-11-18 20:10:43 +00:00
c0bw3b
9367367dfd Treewide: fix URL permanent redirects 
Permanent redirects on homepages and/or source URLs
as reported by Repology
 2019-11-16 01:41:23 +01:00
Vincent Laporte
a61354f262
why3: 1.2.0 → 1.2.1 2019-11-11 11:30:52 +00:00
Matthew Bauer
5ebd36403e
Merge pull request #70641 from maggesi/rename-z77z-into-maggesi 
Rename z77z into maggesi
 2019-11-07 17:18:20 -05:00
Franz Pletz
18ab125e83
minisatUnstable: fix build with gcc9 2019-11-05 02:01:18 +01:00
Franz Pletz
6c3f824540
minisat: fix build with gcc9 2019-11-04 23:07:58 +01:00
R. RyanTM
7f919914bf eprover: 2.3 -> 2.4 2019-11-01 14:00:31 -07:00
Vincent Laporte
a8892b0d76
coq_8_10: 8.10.0 → 8.10.1 2019-10-25 07:58:47 +00:00
Vincent Laporte
d56582eb2b coq_8_10: enable CoqIDE 2019-10-25 07:58:02 +00:00
R. RyanTM
c300055e11 ott: 0.28 -> 0.29 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ott/versions
 2019-10-23 11:44:13 -07:00
Emily
fecfbe18bd symbiyosys: 2019.08.13 -> 2019.10.11 2019-10-19 12:26:49 -05:00
Vincent Laporte
b4db381443 coq_8_10: 8.10+β3 → 8.10.0 
coqPackages.coq-elpi: master → 1.1.0
 2019-10-16 02:43:46 +00:00
Vincent Laporte
0cc70b5697 coq: do not build CoqIDE for Coq 8.10 
GTK3 at version 3.24.11 has broken pkg-config files
 2019-10-16 02:43:46 +00:00
Vincent Laporte
1292f49a37 coq_8_10: do not take “camlp5” as input 2019-10-16 02:43:46 +00:00
Vincent Laporte
325f89ef19 coq_8_10: fix CoqIDE on darwin 2019-10-16 02:43:46 +00:00
Aiken Cairncross
15dbd8de7c monosat: 60528a3 -> 1.8.0 
This fixes the broken Linux build by only building the dynamic library/
executable (an option that was only added in the latest tagged version).
 2019-10-15 16:52:25 -04:00
Aiken Cairncross
b4da391ade monosat: Add self as maintainer 2019-10-15 12:20:55 +01:00
Marco Maggesi
24d0bd37b5
Merge branch 'master' into rename-z77z-into-maggesi 2019-10-13 18:06:23 +02:00
Marco Maggesi
bf56c15695
hol_light: 2019-03-27 -> 2019-10-06 2019-10-09 06:13:48 +00:00
Linus Heckemann
5aa4b19946 treewide: mark some broken packages as broken 
Refs:
e6754980264fe927320d5ff2dbd24ca4fac9a160
1e9cc5b9844ef603fe160e9f671178f96200774f
793a2fe1e8bb886ca2096c5904e1193dc3268b6d
c19cf65261639f749012454932a532aa7c681e4b
f6544d618f30fae0bc4798c4387a8c7c9c047a7c
 2019-10-08 17:14:26 +02:00
Marco Maggesi
ff1ed720e2 Rename z77z into maggesi 
Make the "handle" of the maintainer match the name of the github account.
Also update the email address.
 2019-10-07 17:05:25 +02:00
Michael Raskin
2213e53fcf
Merge pull request #69477 from r-ryantm/auto-update/clingo 
clingo: 5.3.0 -> 5.4.0
 2019-09-27 10:12:24 +00:00
Joachim F
ad773d31e2
Merge pull request #69345 from joachifm/feat/split-version 
Replace uses of splitString for splitting version strings
 2019-09-27 06:19:18 +00:00
Joachim Fasting
bad07dfac5
tree-wide: replace uses of splitString "." with lib.versions 
Quoting from the splitString docstring:

   NOTE: this function is not performant and should never be used.

This replaces trivial uses of splitString for splitting version
strings with the (potentially builtin) splitVersion.
 2019-09-26 17:42:49 +02:00
Jörg Thalheim
9a1b767a55
treewide: remove empty buildInputs 2019-09-26 09:17:23 +01:00
R. RyanTM
f54eb7f159 clingo: 5.3.0 -> 5.4.0 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/clingo/versions
 2019-09-26 01:07:35 -07:00
Kierán Meinhardt
815d940e52 tamarin-prover: mark as broken because upstream is broken 2019-09-24 15:25:43 +02:00
Matthew Bauer
4c85abae94 treewide: use libtinfo.so.5 where needed 
This was originally added in

https://github.com/NixOS/nixpkgs/pull/21350

best to use this name for clarity.
 2019-09-18 13:57:20 -04:00
Vincent Laporte
8288301636 coq_8_10: 8.10+β2 → 8.10+β3 2019-09-16 11:41:43 -05:00
Michael Raskin
4149a662a7 petrinizer: fix build by pinning the neccessary library versions 2019-09-07 13:33:50 +03:00
Vladimír Čunát
f21211ebfe
Merge branch 'master' into staging 2019-09-02 23:25:24 +02:00
Emily
d1dfaa79e3 symbiyosys: fix path to bash (again) 
/usr/bin/env works on NixOS normally, but previously sby would fail if
used from inside the Nix sandbox.
 2019-09-01 14:22:49 -05:00
volth
7bb6b373ab treewide: name -> pname (#67513) 2019-08-31 07:41:22 -04:00
volth
08f68313a4 treewide: remove redundant rec 2019-08-28 11:07:32 +00:00
Frederik Rietdijk
5061fe0c2c Merge staging-next into staging 2019-08-28 08:26:42 +02:00
Frederik Rietdijk
98640fd482 Merge master into staging-next 2019-08-27 16:36:47 +02:00
volth
35d68ef143 treewide: remove redundant quotes 2019-08-26 21:40:19 +00:00
Jonathan Ringer
6f279584fd stp: 2.2.0 -> 2.3.3 2019-08-26 14:00:48 -07:00
Gabriel Ebner
440c63a38a vampire: 4.2.2 -> 4.4 2019-08-25 14:43:51 +02:00
Vladimír Čunát
2e6bf42a22
Merge branch 'master' into staging-next 
There ver very many conflicts, basically all due to
name -> pname+version.  Fortunately, almost everything was auto-resolved
by kdiff3, and for now I just fixed up a couple evaluation problems,
as verified by the tarball job.  There might be some fallback to these
conflicts, but I believe it should be minimal.

Hydra nixpkgs: ?compare=1538299
 2019-08-24 08:55:37 +02:00
Emily
05c54717f8 symbiyosys: extend platforms 2019-08-23 02:14:40 -05:00
Frederik Rietdijk
f65aa21bb2 Merge master into staging-next 2019-08-18 12:53:44 +02:00
Vladimír Čunát
8ed485c67b
Merge #65948: tlaplusToolbox: 1.5.7 -> 1.6.0 2019-08-18 10:11:50 +02:00
volth
c814d72b51 treewide: name -> pname 2019-08-17 10:54:38 +00:00
volth
46420bbaa3 treewide: name -> pname (easy cases) (#66585) 
treewide replacement of

stdenv.mkDerivation rec {
  name = "*-${version}";
  version = "*";

to pname
 2019-08-15 13:41:18 +01:00
Emily
a51e3987ad symbiyosys: 2019.04.18 -> 2019.08.13 2019-08-14 00:14:22 -07:00
Badi Abdul-Wahid
40b53a5d0d
tla+ toolbox: 1.5.7 -> 1.6.0 
Bumps to new release of TLA+ Toolbox.

Main change:
- toolbox now includes JRE so those external dependencies are no
longer needed.

Testing:
- nix-build -A tlaplusToolbox
- ./result/bin/tla-toolbox
- pdf generation
- validation of a simple pluscal model
 2019-08-04 09:27:13 -05:00
Jake Waksbaum
3ab32ee8f6 framac: 18 -> 19 and update why3 2019-08-03 14:03:22 +00:00
Orivej Desh
32fbbc6f9b Merge master into staging 2019-07-25 09:23:21 +00:00
R. RyanTM
a47962010d cryptoverif: 2.01 -> 2.01pl1 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/cryptoverif/versions
 2019-07-23 19:32:45 -05:00
worldofpeace
b1bc0645ea gdk-pixbuf: rename from gdk_pixbuf 2019-07-22 18:50:57 -04:00
Théo Zimmermann
3bc04b576a coq: 8.10+beta1 -> 8.10+beta2 2019-07-14 14:58:49 +00:00
Ryan Mulligan
508ae42a0f treewide: fix redirect URLs 2019-07-10 12:52:51 -07:00
Nikolay Amiantov
3dd7d72e43 fast-downward: init at 2019-05-13 2019-06-24 15:59:57 +03:00
Vincent Laporte
1f2a3a2df2 gappa: 1.2 -> 1.3.5 2019-06-19 09:24:34 +00:00
volth
f3282c8d1e treewide: remove unused variables (#63177) 
* treewide: remove unused variables

* making ofborg happy
 2019-06-16 19:59:05 +00:00
Will Dietz
e397f4716c z3: 4.8.4 -> 4.8.5 
* drop included patch
* pname-ify
 2019-06-10 17:55:26 -07:00
R. RyanTM
6f2d2818b0 cryptoverif: 2.00 -> 2.01 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/cryptoverif/versions
 2019-06-01 10:51:25 -05:00
Alyssa Ross
062210bdff treewide: update cargoSha256 hashes for cargo-vendor upgrade 
A recent upgrade of cargo-vendor changed its output slightly, which
broke all cargoSha256 hashes in nixpkgs.
See https://github.com/NixOS/nixpkgs/issues/60668 for more information.

Since then, a few hashes have been fixed in master by hand, but there
were a lot still to do, so I did all of the ones left over with some
scripts I wrote.

The one hash I wasn’t able to update was habitat's, because it’s
currently broken and the build doesn’t get far enough to produce a
hash anyway.
 2019-06-01 15:17:52 +00:00
Vincent Laporte
57c3da07eb coq_8_9: 8.9.0 -> 8.9.1 2019-05-29 11:24:45 +02:00
Cyril Cohen
d16a78b512 several fixes in coq and coqPackages.mathcomp (and extras) 2019-05-21 08:55:38 +02:00
Vincent Laporte
b72daf7117 coq: init at 8.10+β1 2019-05-15 10:30:03 +02:00
Vincent Laporte
1ce94fad33 coq: make “coq-version” more general 2019-05-15 10:30:03 +02:00
Sebastien Bourdeauducq
992150d37b symbiyosys: fix path to bash 2019-05-12 20:00:10 +02:00
Michael Raskin
7252364dfa tptp: switch to new base URL for source tarball 2019-05-09 22:57:59 +02:00
Michael Raskin
a8c4b37063 vampire: switch off the fragile fetchSubmodules/leaveDotGit 2019-05-09 22:57:59 +02:00
Mario Rodas
e47dd1bb34
cedille: fix hash 2019-05-05 20:47:29 -05:00
R. RyanTM
62cd9ccca4 eprover: 2.2 -> 2.3 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/eprover/versions
 2019-04-30 10:05:27 -07:00
Mario Rodas
7a965dcdab cedille: 1.0.0 -> 1.1.1 (#60307) 2019-04-29 21:02:44 +02:00
markuskowa
d0e70ac2d3
Merge pull request #60010 from JohnAZoidberg/https-urls 
HTTPS urls
 2019-04-22 23:37:07 +02:00