nixpkgs/pkgs/applications/science/logic
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
..
abc treewide: remove redundant rec 2019-08-28 11:07:32 +00:00
abella
acgtk
aiger aiger: enable for darwin 2019-12-08 18:31:49 +00:00
alt-ergo
aspino treewide: update which packages I'm currently maintaining 2019-12-26 15:27:47 +01:00
avy treewide: remove redundant rec 2019-08-28 11:07:32 +00:00
beluga
boolector boolector: add patch for CVE-2019-7560 2019-12-12 10:37:02 -06:00
btor2tools btor2tools: correct meta information 2019-12-12 10:37:02 -06:00
cedille
celf
clprover treewide: remove redundant rec 2019-08-28 11:07:32 +00:00
coq coq_8_11: init at 8.11+β1 2019-12-07 07:58:00 +00:00
coq2html treewide: name -> pname 2019-08-17 10:54:38 +00:00
cryptominisat
cryptoverif
cubicle
cvc3
cvc4
drat-trim treewide: remove redundant rec 2019-08-28 11:07:32 +00:00
ekrhyper
elan treewide: fix cargoSha256 (again) 2019-12-20 20:08:53 +00:00
eprover eprover: 2.3 -> 2.4 2019-11-01 14:00:31 -07:00
fast-downward treewide: remove redundant rec 2019-08-28 11:07:32 +00:00
gappa
glucose
hol
hol_light Merge branch 'master' into rename-z77z-into-maggesi 2019-10-13 18:06:23 +02:00
iprover
isabelle
jonprl treewide: mark some broken packages as broken 2019-10-08 17:14:26 +02:00
lci
lean
lean2 treewide: mark some broken packages as broken 2019-10-08 17:14:26 +02:00
leo2
leo3
lingeling lingeling: enable for darwin 2019-12-08 18:32:04 +00:00
logisim treewide: name -> pname 2019-08-17 10:54:38 +00:00
ltl2ba
mcrl2 treewide: Get rid of libGLU_combined 2019-11-18 20:10:43 +00:00
metis-prover treewide: remove redundant rec 2019-08-28 11:07:32 +00:00
minisat treewide: remove redundant rec 2019-08-28 11:07:32 +00:00
monosat monosat: 60528a3 -> 1.8.0 2019-10-15 16:52:25 -04:00
open-wbo treewide: remove redundant rec 2019-08-28 11:07:32 +00:00
opensmt
ott ott: 0.28 -> 0.29 2019-10-23 11:44:13 -07:00
otter
petrinizer petrinizer: fix build by pinning the neccessary library versions 2019-09-07 13:33:50 +03:00
picosat
poly
potassco Merge pull request #69477 from r-ryantm/auto-update/clingo 2019-09-27 10:12:24 +00:00
prooftree
prover9
proverif
redprl
sad
satallax
saw-tools treewide: use libtinfo.so.5 where needed 2019-09-18 13:57:20 -04:00
spass treewide: remove redundant rec 2019-08-28 11:07:32 +00:00
statverif
stp stp: 2.2.0 -> 2.3.3 2019-08-26 14:00:48 -07:00
symbiyosys symbiyosys: add yices dependency 2019-12-04 14:29:31 -06:00
tamarin-prover tamarin-prover: mark as broken because upstream is broken 2019-09-24 15:25:43 +02:00
tlaplus Merge master into staging-next 2019-08-18 12:53:44 +02:00
tptp
twelf
vampire vampire: 4.2.2 -> 4.4 2019-08-25 14:43:51 +02:00
verifast
verit treewide: remove redundant rec 2019-08-28 11:07:32 +00:00
why3 why3: 1.2.0 → 1.2.1 2019-11-11 11:30:52 +00:00
workcraft
yices tree-wide: replace uses of splitString "." with lib.versions 2019-09-26 17:42:49 +02:00
z3 z3: 4.8.5 -> 4.8.7 2019-12-14 20:33:59 -06:00