Packages found in the base revision.
| Name | Version | |
|---|---|---|
| z3 | 4.8.17 | More information |
| xaos | 4.2.1 | More information |
| why3 | 1.4.1 | More information |
| vc | 1.4.2 | More information |
| tiny-bignum | 0-0.1d7a1f9 | More information |
| tcalc | 2.0 | More information |
| sundials-openmpi | 6.2.0 | More information |
| sundials-openmpi | 5.8.0 | More information |
| sundials-julia | 5.2.0 | More information |
| sundials | 6.2.0 | More information |
| sundials | 5.8.0 | More information |
| speedcrunch | 0.12.0 | More information |
| reducelcs | 1.0-1.474f88d | More information |
| qalculate-gtk | 3.19.0 | More information |
| ppl | 1.2 | More information |
| optizelle | 1.3.0-0.ed4160b | More information |
| ocaml-z3 | 4.8.17 | More information |
| numdiff | 5.9.0 | More information |
| nauty | 2.7r4 | More information |
| mlucas | 18 | More information |
| minisat | 2.2.0-1.37dc6c6 | More information |
| mcrl2-minimal | 202206.0 | More information |
| mcrl2 | 202206.0 | More information |
| matio | 1.5.19 | More information |
| libqalculate | 3.19.0 | More information |
| jacal | 1c7 | More information |
| hypre-openmpi | 2.20.0 | More information |
| hypre | 2.20.0 | More information |
| fxdiv | 0.0-1.63058ef | More information |
| frama-c | 24.0 | More information |
| fp16 | 0.0-1.0a92994 | More information |
| elpa-openmpi | 2018.11.001 | More information |
| elpa | 2018.11.001 | More information |
| elemental | 0.87.7 | More information |
| dune-uggrid-openmpi | 2.7.1 | More information |
| dune-uggrid | 2.7.1 | More information |
| dune-typetree-openmpi | 2.7.1 | More information |
| dune-typetree | 2.7.1 | More information |
| dune-subgrid-openmpi | 2.7.1-0.45d1ee9 | More information |
| dune-subgrid | 2.7.1-0.45d1ee9 | More information |
| dune-pdelab-openmpi | 2.7.1-0.09aef74 | More information |
| dune-pdelab | 2.7.1-0.09aef74 | More information |
| dune-localfunctions-openmpi | 2.7.1 | More information |
| dune-localfunctions | 2.7.1 | More information |
| dune-istl-openmpi | 2.7.1 | More information |
| dune-istl | 2.7.1 | More information |
| dune-grid-openmpi | 2.7.1 | More information |
| dune-grid | 2.7.1 | More information |
| dune-geometry-openmpi | 2.7.1 | More information |
| dune-geometry | 2.7.1 | More information |
| dune-functions-openmpi | 2.7.1 | More information |
| dune-functions | 2.7.1 | More information |
| dune-common-openmpi | 2.7.1 | More information |
| dune-common | 2.7.1 | More information |
| dune-alugrid-openmpi | 2.7.1-0.51bde29 | More information |
| dune-alugrid | 2.7.1-0.51bde29 | More information |
| combinatorial-blas | 1.6.2 | More information |
| blitz | 1.0.2 | More information |
Packages found in the target revision.
| Name | Version | |
|---|---|---|
| z3 | 4.8.17 | More information |
| xaos | 4.2.1 | More information |
| why3 | 1.4.1 | More information |
| vc | 1.4.2 | More information |
| tiny-bignum | 0-0.1d7a1f9 | More information |
| tcalc | 2.0 | More information |
| sundials-openmpi | 6.2.0 | More information |
| sundials-openmpi | 5.8.0 | More information |
| sundials-julia | 5.2.0 | More information |
| sundials | 6.2.0 | More information |
| sundials | 5.8.0 | More information |
| speedcrunch | 0.12.0 | More information |
| reducelcs | 1.0-1.474f88d | More information |
| qalculate-gtk | 3.19.0 | More information |
| ppl | 1.2 | More information |
| optizelle | 1.3.0-0.ed4160b | More information |
| ocaml-z3 | 4.8.17 | More information |
| numdiff | 5.9.0 | More information |
| nauty | 2.7r4 | More information |
| mlucas | 18 | More information |
| minisat | 2.2.0-1.37dc6c6 | More information |
| mcrl2-minimal | 202206.0 | More information |
| mcrl2 | 202206.0 | More information |
| matio | 1.5.19 | More information |
| libqalculate | 3.19.0 | More information |
| jacal | 1c7 | More information |
| hypre-openmpi | 2.20.0 | More information |
| hypre | 2.20.0 | More information |
| fxdiv | 0.0-1.63058ef | More information |
| frama-c | 24.0 | More information |
| fp16 | 0.0-1.0a92994 | More information |
| elpa-openmpi | 2018.11.001 | More information |
| elpa | 2018.11.001 | More information |
| elemental | 0.87.7 | More information |
| dune-uggrid-openmpi | 2.7.1 | More information |
| dune-uggrid | 2.7.1 | More information |
| dune-typetree-openmpi | 2.7.1 | More information |
| dune-typetree | 2.7.1 | More information |
| dune-subgrid-openmpi | 2.7.1-0.45d1ee9 | More information |
| dune-subgrid | 2.7.1-0.45d1ee9 | More information |
| dune-pdelab-openmpi | 2.7.1-0.09aef74 | More information |
| dune-pdelab | 2.7.1-0.09aef74 | More information |
| dune-localfunctions-openmpi | 2.7.1 | More information |
| dune-localfunctions | 2.7.1 | More information |
| dune-istl-openmpi | 2.7.1 | More information |
| dune-istl | 2.7.1 | More information |
| dune-grid-openmpi | 2.7.1 | More information |
| dune-grid | 2.7.1 | More information |
| dune-geometry-openmpi | 2.7.1 | More information |
| dune-geometry | 2.7.1 | More information |
| dune-functions-openmpi | 2.7.1 | More information |
| dune-functions | 2.7.1 | More information |
| dune-common-openmpi | 2.7.1 | More information |
| dune-common | 2.7.1 | More information |
| dune-alugrid-openmpi | 2.7.1-0.51bde29 | More information |
| dune-alugrid | 2.7.1-0.51bde29 | More information |
| combinatorial-blas | 1.6.2 | More information |
| blitz | 1.0.2 | More information |