diff options
| author | Martin Lundfall <martin.lundfall@protonmail.com> | 2020-06-06 18:21:17 +0200 |
|---|---|---|
| committer | Martin Lundfall <martin.lundfall@protonmail.com> | 2020-07-18 17:48:10 +0200 |
| commit | 424936ed33a8302a17b1f14d8cb85488d61968db (patch) | |
| tree | 60fbaebf41098affd3521e4e5460303ad37935a6 /pkgs/development/python-modules/rangehttpserver | |
| parent | 36adeebde6cc1035f2f3a58a131376b2294f2f12 (diff) | |
cvc4: 1.6 -> 1.8
Co-authored-by: Gabriel Ebner <gebner@gebner.org>
Update pkgs/applications/science/logic/cvc4/default.nix
Co-authored-by: Gabriel Ebner <gebner@gebner.org>
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions