mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-04 03:25:02 +00:00
Code Issues Wiki Activity
nixpkgs/pkgs/applications/science/logic
History
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 treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
acgtk acgtk: 1.3.1 -> 1.5.0 2018-11-04 06:29:27 +00:00
aiger aiger: enable for darwin 2019-12-08 18:31:49 +00:00
alt-ergo treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
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 cedille: fix hash 2019-05-05 20:47:29 -05:00
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 treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
cryptoverif treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
cubicle treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
cvc3 treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
cvc4 treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
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 gappa: 1.2 -> 1.3.5 2019-06-19 09:24:34 +00:00
glucose treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
hol
hol_light Merge branch 'master' into rename-z77z-into-maggesi 2019-10-13 18:06:23 +02:00
iprover treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
isabelle isabelle: refactor 2019-03-14 11:48:30 +01:00
jonprl treewide: mark some broken packages as broken 2019-10-08 17:14:26 +02:00
lci treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
lean treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
lean2 treewide: mark some broken packages as broken 2019-10-08 17:14:26 +02:00
leo2 treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
leo3 treewide: use runtimeShell instead of stdenv.shell whenever possible 2019-02-26 14:10:49 +00:00
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 treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
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 treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
ott ott: 0.28 -> 0.29 2019-10-23 11:44:13 -07:00
otter treewide: Change URLs to HTTPS 2019-04-22 10:19:54 +02:00
petrinizer petrinizer: fix build by pinning the neccessary library versions 2019-09-07 13:33:50 +03:00
picosat treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
poly treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
potassco Merge pull request #69477 from r-ryantm/auto-update/clingo 2019-09-27 10:12:24 +00:00
prooftree treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
prover9 treewide: fix redirect URLs 2019-07-10 12:52:51 -07:00
proverif treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
redprl
sad sad: Fix build 2019-03-09 01:07:18 +01:00
satallax treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
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 treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
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 treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
twelf treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
vampire vampire: 4.2.2 -> 4.4 2019-08-25 14:43:51 +02:00
verifast treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
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 treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00
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