mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-02 15:41:48 +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 |
||
|---|---|---|
| .. | ||
| astronomy | ||
| biology | ||
| chemistry | ||
| electronics | ||
| geometry | ||
| logic | ||
| machine-learning | ||
| math | ||
| medicine/aliza | ||
| misc | ||
| molecular-dynamics | ||
| physics | ||
| programming | ||
| robotics | ||
| spyder | ||