mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-22 14:47:06 +00:00
517d5ff6e1
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. These checks were done: - built on NixOS - /nix/store/449i03imd329g3yi4gbmcbq9pv5ijpib-cryptoverif-2.00/bin/cryptoverif passed the binary check. - 1 of 1 passed binary check by having a zero exit code. - 0 of 1 passed binary check by having the new version present in output. - found 2.00 with grep in /nix/store/449i03imd329g3yi4gbmcbq9pv5ijpib-cryptoverif-2.00 - directory tree listing: https://gist.github.com/b4cdf4e1befb51addd9b1dc1c39d78d9 - du listing: https://gist.github.com/18190fb11f51471790dcc668635aba6a |
||
|---|---|---|
| .. | ||
| abc | ||
| abella | ||
| acgtk | ||
| aiger | ||
| alt-ergo | ||
| aspino | ||
| avy | ||
| beluga | ||
| boolector | ||
| celf | ||
| coq | ||
| coq2html | ||
| cryptominisat | ||
| cryptoverif | ||
| cubicle | ||
| cvc3 | ||
| cvc4 | ||
| drat-trim | ||
| ekrhyper | ||
| elan | ||
| eprover | ||
| gappa | ||
| glucose | ||
| hol | ||
| hol_light | ||
| iprover | ||
| isabelle | ||
| jonprl | ||
| lci | ||
| lean | ||
| lean2 | ||
| leo2 | ||
| logisim | ||
| ltl2ba | ||
| matita | ||
| mcrl2 | ||
| metis-prover | ||
| minisat | ||
| open-wbo | ||
| opensmt | ||
| ott | ||
| otter | ||
| picosat | ||
| poly | ||
| potassco | ||
| prooftree | ||
| prover9 | ||
| proverif | ||
| redprl | ||
| sad | ||
| sapic | ||
| satallax | ||
| saw-tools | ||
| spass | ||
| statverif | ||
| stp | ||
| symbiyosys | ||
| tamarin-prover | ||
| tlaplus | ||
| tptp | ||
| twelf | ||
| verifast | ||
| verit | ||
| why3 | ||
| workcraft | ||
| yices | ||
| z3 | ||