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	…
abella	…
acgtk	…
aiger	…
alt-ergo	…
aspino	treewide: update which packages I'm currently maintaining	2019-12-26 15:27:47 +01:00
avy	…
beluga	…
boolector	…
btor2tools	…
cedille	…
celf	…
clprover	…
coq	…
coq2html	…
cryptominisat	…
cryptoverif	…
cubicle	…
cvc3	…
cvc4	…
drat-trim	…
ekrhyper	…
elan	…
eprover	…
fast-downward	…
gappa	…
glucose	…
hol	…
hol_light	…
iprover	…
isabelle	…
jonprl	…
lci	…
lean	…
lean2	…
leo2	…
leo3	…
lingeling	…
logisim	…
ltl2ba	…
mcrl2	…
metis-prover	…
minisat	…
monosat	…
open-wbo	…
opensmt	…
ott	…
otter	…
petrinizer	…
picosat	…
poly	…
potassco	…
prooftree	…
prover9	…
proverif	…
redprl	…
sad	…
satallax	…
saw-tools	…
spass	…
statverif	…
stp	…
symbiyosys	…
tamarin-prover	…
tlaplus	…
tptp	…
twelf	…
vampire	…
verifast	…
verit	…
why3	…
workcraft	…
yices	…
z3	…