dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
bf995e3641
nixpkgs/pkgs/applications/science/logic
History
Alexis Hildebrandt bf995e3641 treewide: Remove ending period from meta.description 
nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*".*\.";' pkgs \
  | xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*)\.";/\1";/'
2024-06-09 23:04:51 +02:00
..
abc abc-verifier: unstable-2023-09-13 -> unstable-2023-10-13 2023-11-08 15:21:35 +01:00
abella treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
acgtk acgtk: 1.5.4 → 2.0.0 2023-11-30 05:37:04 +01:00
aiger Merge master into staging-next 2023-11-11 18:00:58 +00:00
alt-ergo alt-ergo: 2.5.3 -> 2.5.4 2024-05-13 21:51:10 -05:00
anders treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
aspino
avy
beluga
bitwuzla bitwuzla: 0.4.0 -> 0.5.0 2024-06-02 12:00:00 +00:00
boolector boolector: 3.2.2 -> 3.2.3 + upstream patch for C++14 compatibility. 2024-02-22 19:48:14 +00:00
btor2tools btor2tools: fix build with gcc 13 2024-01-29 21:35:06 +01:00
cadical cadical: fix static build 2024-04-03 12:00:00 +00:00
cbmc cbmc: 5.91.0 -> 5.95.1 2024-05-22 11:28:48 +08:00
cedille maintainers: drop marsam 2024-04-24 04:20:00 +00:00
celf treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
clprover treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
coq treewide: wrapGAppsHook → wrapGAppsHook3 2024-04-27 02:23:22 +02:00
cryptominisat cryptominisat: fix static build 2024-04-03 12:00:00 +00:00
cryptoverif treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
cubicle treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
cvc3 treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
cvc4 treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
cvc5 treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
dafny dafny: 4.5.0 -> 4.6.0 2024-03-29 04:54:25 +00:00
drat-trim
easycrypt treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
egglog treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
ekrhyper
elan Revert "elan: revert temporary directory creation" 2024-03-09 16:50:49 +01:00
eprover eprover: 3.0.03 -> 3.1 2024-05-02 00:48:29 +00:00
fast-downward treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
formula
gappa treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
glucose treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
hol
hol_light hol_light: 2023-11-03 → 2024-05-10 2024-05-29 06:59:21 +02:00
iprover iprover: 3.1 → 3.8.1 2024-01-10 06:33:50 +01:00
isabelle treewide: Remove ending period from meta.description 2024-06-09 23:04:51 +02:00
key
kissat treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
klee treewide: Remove ending period from meta.description 2024-06-09 23:04:51 +02:00
lci treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
lean lean3: fix gcc-13 build failure) 2024-02-11 19:47:22 +00:00
lean2
lean4 maintainers: drop marsam 2024-04-24 04:20:00 +00:00
leo2 treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
leo3 treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
lingeling
logisim logisim: add darwin bundle 2024-03-20 16:37:19 +11:00
logisim-evolution logisim-evolution: add darwin bundle 2024-03-20 16:28:51 +11:00
ltl2ba treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
mcrl2 mcrl2: 202206 -> 202307 2024-02-10 10:14:43 +00:00
mcy
metis-prover treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
minisat
monosat treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
msat treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
naproche treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
netlistsvg
nusmv
nuXmv
open-wbo treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
opensmt opensmt: 2.6.0 -> 2.7.0 2024-05-30 04:55:03 +00:00
ott treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
picosat treewide: fix redirected and broken URLs 2023-11-11 10:49:01 +01:00
poly
potassco treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
prooftree prooftree: 0.13 -> 0.14 2024-06-02 01:31:21 +00:00
prover9
proverif proverif: 2.04 → 2.05 2023-10-23 12:07:37 +02:00
redprl treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
satallax treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
saw-tools
sharpsat-td
spass
statverif
stp Merge pull request #288470 from McSinyx/stp-u8 2024-02-15 23:07:44 +01:00
surelog surelog: 1.80 -> 1.82 2024-01-05 21:46:27 +00:00
symbiyosys
symfpu symfpu: install headers in $out/include, add a pkg-config file 2024-04-03 12:00:00 +00:00
tamarin-prover tamarin-prover: pick patch for Stackage LTS 22 dependencies 2024-03-22 12:13:05 +01:00
tlaplus treewide: wrapGAppsHook → wrapGAppsHook3 2024-04-27 02:23:22 +02:00
tptp
twelf
uhdm uhdm: 1.80 -> 1.82 2024-03-21 01:10:36 +00:00
vampire treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
verifast
verit
why3 Merge master into staging-next 2024-04-29 12:01:15 +00:00
workcraft treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
yices
z3 treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00
zchaff treewide: add meta.mainProgram to packages with a single binary 2024-03-19 03:14:51 +01:00