Packages found in the base revision.
| Name | Version | |
|---|---|---|
| zsh-syntax-highlighting | 0.7.1 | More information |
| zsh-history-substring-search | 1.0.2 | More information |
| zsh-completions | 0.34.0 | More information |
| zsh-autosuggestions | 0.7.0 | More information |
| zsh-autopair | 1.0 | More information |
| z3 | 4.13.0 | More information |
| yices | 2.6.4 | More information |
| xorriso | 1.5.6.pl02 | More information |
| xaos | 4.3.2 | More information |
| wxmaxima | 24.02.2 | More information |
| why3 | 1.7.2 | More information |
| wcalc | 2.5 | More information |
| vc | 1.4.3 | More information |
| trash-cli | 0.22.10.20 | More information |
| tran | 5.0.0-0.039df95 | More information |
| tiny-bignum | 0-0.1d7a1f9 | More information |
| tcalc | 2.0 | More information |
| superlu-dist | 6.4.0 | More information |
| superlu | 5.3.0 | More information |
| sundials-openmpi | 7.1.1 | More information |
| sundials-openmpi | 5.8.0 | More information |
| sundials-julia | 5.2.0 | More information |
| sundials | 7.1.1 | More information |
| sundials | 5.8.0 | More information |
| suitesparse-umfpack | 6.2.0 | More information |
| suitesparse-spqr | 4.2.0 | More information |
| suitesparse-spex | 2.2.0 | More information |
| suitesparse-rbio | 4.2.0 | More information |
| suitesparse-mongoose | 3.2.0 | More information |
| suitesparse-ldl | 3.2.0 | More information |
| suitesparse-klu | 2.2.0 | More information |
| suitesparse-cxsparse | 4.2.0 | More information |
| suitesparse-config | 7.2.0 | More information |
| suitesparse-colamd | 3.2.0 | More information |
| suitesparse-cholmod | 4.2.0 | More information |
| suitesparse-ccolamd | 3.2.0 | More information |
| suitesparse-camd | 3.2.0 | More information |
| suitesparse-btf | 2.2.0 | More information |
| suitesparse-amd | 3.2.0 | More information |
| suitesparse | 5.13.0 | More information |
| speedcrunch | 0.12.0 | More information |
| slepc-openmpi | 3.21.1 | More information |
| slepc-complex-openmpi | 3.21.1 | More information |
| slepc-complex | 3.21.1 | More information |
| slepc | 3.21.1 | More information |
| sh-z | 1.11 | More information |
| shfmt | 3.9.0 | More information |
| shell-functools | 0.3.0 | More information |
| scotch32 | 7.0.4 | More information |
| scotch | 7.0.4 | More information |
| scilab | 2025.0.0 | More information |
| ruy | 0-1.caa2443 | More information |
| ruby-asciimath | 2.0.4 | More information |
| ripit | 3.9.0 | More information |
| rig | 1.11 | More information |
| renameutils | 0.12.0 | More information |
| reducelcs | 1.0-1.474f88d | More information |
| qalculate-gtk | 3.19.0 | More information |
| python-slepc4py | 3.21.1 | More information |
| python-quadpy | 0.16.10 | More information |
| python-primecountpy | 0.1.0 | More information |
| python-petsc4py | 3.21.4 | More information |
| python-orthopy | 0.9.5 | More information |
| python-ndim | 0.1.6 | More information |
| python-libensemble | 1.4.2 | More information |
| python-kiwisolver | 1.4.5 | More information |
| python-cvxopt | 1.2.7 | More information |
| python-blis | 0.9.1 | More information |
| python-blis | 0.7.8 | More information |
| python-accupy | 0.3.6 | More information |
| pt-scotch32 | 7.0.4 | More information |
| pt-scotch | 7.0.4 | More information |
| primesieve | 12.3 | More information |
| primecount | 7.14 | More information |
| ppl | 1.2 | More information |
| popf | 0.0.15 | More information |
| pnetcdf | 1.13.0 | More information |
| petsc-openmpi | 3.21.4 | More information |
| petsc-complex-openmpi | 3.21.4 | More information |
| petsc-complex | 3.21.4 | More information |
| p4est-openmpi | 2.0 | More information |
| p4est | 2.0 | More information |
| optizelle | 1.3.0-0.ed4160b | More information |
| openspecfun | 0.5.3 | More information |
| openlibm | 0.8.1 | More information |
| openblas-ilp64 | 0.3.20 | More information |
| openblas | 0.3.20 | More information |
| ocaml-z3 | 4.13.0 | More information |
| numdiff | 5.9.0 | More information |
| nauty | 2.8.9 | More information |
| muparser | 2.2.5-2 | More information |
| mumps-openmpi | 5.5.1 | More information |
| mumps-metis-openmpi | 5.5.1 | More information |
| mumps-metis | 5.5.1 | More information |
| mumps | 5.5.1 | More information |
| mlucas | 18 | More information |
| minizinc | 2.8.4 | More information |
| minisat | 2.2.0-1.37dc6c6 | More information |
| metis-suitesparse | 5.2.1 | More information |
| metis | 5.2.1 | More information |
| metis | 5.1.0 | More information |
| metamath | 0.193 | More information |
| mcrl2-minimal | 202307.1 | More information |
| mcrl2 | 202307.1 | More information |
| maxima | 5.47.0 | More information |
| matio | 1.5.23 | More information |
| lpsolve | 5.5.2.5 | More information |
| louvain-community | 1.0.0-1.8cc5382 | More information |
| liquidprompt | 2.1.2 | More information |
| lingeling | 1.0.0 | More information |
| libqalculate | 3.19.0 | More information |
| libpoly | 0.1.12 | More information |
| libmirage | 3.2.7 | More information |
| libisofs | 1.5.6.pl01 | More information |
| libcue | 2.3.0 | More information |
| libcdio-paranoia | 10.2+2.0.1 | More information |
| libcdio | 2.1.0 | More information |
| libcddb | 1.3.2 | More information |
| libburn | 1.5.6 | More information |
| libblastrampoline | 5.1.1 | More information |
| kissat | 4.0.1 | More information |
| java-smtinterpol | 2.5 | More information |
| jacal | 1c8 | More information |
| hypre-openmpi | 2.20.0 | More information |
| hypre | 2.20.0 | More information |
| hstr | 3.1 | More information |
| gsegrafix | 1.0.7.2 | More information |
| grml-zsh-config | 0.19.6 | More information |
| grc | 1.13 | More information |
| glm | 0.9.9.8 | More information |
| gklib-suitesparse | 5.1.1-1.8bd6bad | More information |
| gklib | 5.1.1-1.8bd6bad | More information |
| geteltorito | 0.6 | More information |
| fzy | 1.0 | More information |
| fzf-tab | 1.1.2 | More information |
| fxdiv | 0.0-1.63058ef | More information |
| frama-c | 29.0 | More information |
| fp16 | 0.0-1.0a92994 | More information |
| flann | 1.9.1 | More information |
| envstore | 2.1 | More information |
| elpa-openmpi | 2018.11.001 | More information |
| elpa | 2018.11.001 | More information |
| elemental | 0.87.7-0.6eb15a0 | More information |
| dvdstyler | 3.0.4 | More information |
| dvd+rw-tools | 7.1 | More information |
| dvdisaster | 0.79.10 | More information |
| dune-uggrid-openmpi | 2.10.0 | More information |
| dune-uggrid | 2.10.0 | More information |
| dune-typetree-openmpi | 2.10.0 | More information |
| dune-typetree | 2.10.0 | More information |
| dune-subgrid-openmpi | 2.10.0-1.e71cc9c | More information |
| dune-subgrid | 2.10.0-1.e71cc9c | More information |
| dune-pdelab-openmpi | 2.8.0-0.d5dddb6 | More information |
| dune-pdelab | 2.8.0-0.d5dddb6 | More information |
| dune-localfunctions-openmpi | 2.10.0 | More information |
| dune-localfunctions | 2.10.0 | More information |
| dune-istl-openmpi | 2.10.0 | More information |
| dune-istl | 2.10.0 | More information |
| dune-grid-openmpi | 2.10.0 | More information |
| dune-grid | 2.10.0 | More information |
| dune-geometry-openmpi | 2.10.0 | More information |
| dune-geometry | 2.10.0 | More information |
| dune-functions-openmpi | 2.10.0 | More information |
| dune-functions | 2.10.0 | More information |
| dune-common-openmpi | 2.10.0 | More information |
| dune-common | 2.10.0 | More information |
| dune-alugrid-openmpi | 2.10.0 | More information |
| dune-alugrid | 2.10.0 | More information |
| direnv | 2.34.0 | More information |
| dealii-openmpi | 9.6.0 | More information |
| dealii | 9.6.0 | More information |
| cudd | 3.0.0 | More information |
| cryptominisat | 5.11.22 | More information |
| conflict | 20221002 | More information |
| combinatorial-blas | 1.6.2 | More information |
| cglm | 0.8.4 | More information |
| cdrtools | 3.01 | More information |
| cdrkit-libre | 1.1.11 | More information |
| cdrdao | 1.2.5 | More information |
| cdparanoia | 10.2 | More information |
| cdemu-daemon | 3.2.6 | More information |
| cdemu-client | 3.2.5 | More information |
| cd-discid | 1.4 | More information |
| ccd2cue | 0.5 | More information |
| cadical | 2.0.0 | More information |
| cadiback | 0.2.1-1.789329d | More information |
| btor2tools | 1.0.0-pre-1.b8456dd | More information |
| boxes | 2.2.1 | More information |
| boolector | 3.2.2 | More information |
| blitz | 1.0.2 | More information |
| bliss | 0.77 | More information |
| blis | 0.9.0 | More information |
| atlas | 3.10.3 | More information |
| asunder | 3.0.1 | More information |
| ascii | 3.30 | More information |
| armadillo | 12.4.2 | More information |
| aiger | 1.9.9 | More information |
| abcde | 2.9.3 | More information |
Packages found in the target revision.
| Name | Version | |
|---|---|---|
| zsh-syntax-highlighting | 0.7.1 | More information |
| zsh-history-substring-search | 1.0.2 | More information |
| zsh-completions | 0.34.0 | More information |
| zsh-autosuggestions | 0.7.0 | More information |
| zsh-autopair | 1.0 | More information |
| z3 | 4.13.0 | More information |
| yices | 2.6.4 | More information |
| xorriso | 1.5.6.pl02 | More information |
| xaos | 4.3.2 | More information |
| wxmaxima | 24.02.2 | More information |
| why3 | 1.7.2 | More information |
| wcalc | 2.5 | More information |
| vc | 1.4.3 | More information |
| trash-cli | 0.22.10.20 | More information |
| tran | 5.0.0-0.039df95 | More information |
| tiny-bignum | 0-0.1d7a1f9 | More information |
| tcalc | 2.0 | More information |
| superlu-dist | 6.4.0 | More information |
| superlu | 5.3.0 | More information |
| sundials-openmpi | 7.1.1 | More information |
| sundials-openmpi | 5.8.0 | More information |
| sundials-julia | 5.2.0 | More information |
| sundials | 7.1.1 | More information |
| sundials | 5.8.0 | More information |
| suitesparse-umfpack | 6.2.0 | More information |
| suitesparse-spqr | 4.2.0 | More information |
| suitesparse-spex | 2.2.0 | More information |
| suitesparse-rbio | 4.2.0 | More information |
| suitesparse-mongoose | 3.2.0 | More information |
| suitesparse-ldl | 3.2.0 | More information |
| suitesparse-klu | 2.2.0 | More information |
| suitesparse-cxsparse | 4.2.0 | More information |
| suitesparse-config | 7.2.0 | More information |
| suitesparse-colamd | 3.2.0 | More information |
| suitesparse-cholmod | 4.2.0 | More information |
| suitesparse-ccolamd | 3.2.0 | More information |
| suitesparse-camd | 3.2.0 | More information |
| suitesparse-btf | 2.2.0 | More information |
| suitesparse-amd | 3.2.0 | More information |
| suitesparse | 5.13.0 | More information |
| speedcrunch | 0.12.0 | More information |
| slepc-openmpi | 3.21.1 | More information |
| slepc-complex-openmpi | 3.21.1 | More information |
| slepc-complex | 3.21.1 | More information |
| slepc | 3.21.1 | More information |
| sh-z | 1.11 | More information |
| shfmt | 3.9.0 | More information |
| shell-functools | 0.3.0 | More information |
| scotch32 | 7.0.4 | More information |
| scotch | 7.0.4 | More information |
| scilab | 2025.0.0 | More information |
| ruy | 0-1.caa2443 | More information |
| ruby-asciimath | 2.0.4 | More information |
| ripit | 3.9.0 | More information |
| rig | 1.11 | More information |
| renameutils | 0.12.0 | More information |
| reducelcs | 1.0-1.474f88d | More information |
| qalculate-gtk | 3.19.0 | More information |
| python-slepc4py | 3.21.1 | More information |
| python-quadpy | 0.16.10 | More information |
| python-primecountpy | 0.1.0 | More information |
| python-petsc4py | 3.21.4 | More information |
| python-orthopy | 0.9.5 | More information |
| python-ndim | 0.1.6 | More information |
| python-libensemble | 1.4.2 | More information |
| python-kiwisolver | 1.4.5 | More information |
| python-cvxopt | 1.2.7 | More information |
| python-blis | 0.9.1 | More information |
| python-blis | 0.7.8 | More information |
| python-accupy | 0.3.6 | More information |
| pt-scotch32 | 7.0.4 | More information |
| pt-scotch | 7.0.4 | More information |
| primesieve | 12.3 | More information |
| primecount | 7.14 | More information |
| ppl | 1.2 | More information |
| popf | 0.0.15 | More information |
| pnetcdf | 1.13.0 | More information |
| petsc-openmpi | 3.21.4 | More information |
| petsc-complex-openmpi | 3.21.4 | More information |
| petsc-complex | 3.21.4 | More information |
| p4est-openmpi | 2.0 | More information |
| p4est | 2.0 | More information |
| optizelle | 1.3.0-0.ed4160b | More information |
| openspecfun | 0.5.3 | More information |
| openlibm | 0.8.1 | More information |
| openblas-ilp64 | 0.3.20 | More information |
| openblas | 0.3.20 | More information |
| ocaml-z3 | 4.13.0 | More information |
| numdiff | 5.9.0 | More information |
| nauty | 2.8.9 | More information |
| muparser | 2.2.5-2 | More information |
| mumps-openmpi | 5.5.1 | More information |
| mumps-metis-openmpi | 5.5.1 | More information |
| mumps-metis | 5.5.1 | More information |
| mumps | 5.5.1 | More information |
| mlucas | 18 | More information |
| minizinc | 2.8.4 | More information |
| minisat | 2.2.0-1.37dc6c6 | More information |
| metis-suitesparse | 5.2.1 | More information |
| metis | 5.2.1 | More information |
| metis | 5.1.0 | More information |
| metamath | 0.193 | More information |
| mcrl2-minimal | 202307.1 | More information |
| mcrl2 | 202307.1 | More information |
| maxima | 5.47.0 | More information |
| matio | 1.5.23 | More information |
| lpsolve | 5.5.2.5 | More information |
| louvain-community | 1.0.0-1.8cc5382 | More information |
| liquidprompt | 2.1.2 | More information |
| lingeling | 1.0.0 | More information |
| libqalculate | 3.19.0 | More information |
| libpoly | 0.1.12 | More information |
| libmirage | 3.2.7 | More information |
| libisofs | 1.5.6.pl01 | More information |
| libcue | 2.3.0 | More information |
| libcdio-paranoia | 10.2+2.0.1 | More information |
| libcdio | 2.1.0 | More information |
| libcddb | 1.3.2 | More information |
| libburn | 1.5.6 | More information |
| libblastrampoline | 5.1.1 | More information |
| kissat | 4.0.1 | More information |
| java-smtinterpol | 2.5 | More information |
| jacal | 1c8 | More information |
| hypre-openmpi | 2.20.0 | More information |
| hypre | 2.20.0 | More information |
| hstr | 3.1 | More information |
| gsegrafix | 1.0.7.2 | More information |
| grml-zsh-config | 0.19.6 | More information |
| grc | 1.13 | More information |
| glm | 0.9.9.8 | More information |
| gklib-suitesparse | 5.1.1-1.8bd6bad | More information |
| gklib | 5.1.1-1.8bd6bad | More information |
| geteltorito | 0.6-1.d6c7ba0 | More information |
| fzy | 1.0 | More information |
| fzf-tab | 1.1.2 | More information |
| fxdiv | 0.0-1.63058ef | More information |
| frama-c | 29.0 | More information |
| fp16 | 0.0-1.0a92994 | More information |
| font-dina | 2.92 | More information |
| flann | 1.9.1 | More information |
| envstore | 2.1 | More information |
| elpa-openmpi | 2018.11.001 | More information |
| elpa | 2018.11.001 | More information |
| elemental | 0.87.7-0.6eb15a0 | More information |
| dvdstyler | 3.0.4 | More information |
| dvd+rw-tools | 7.1 | More information |
| dvdisaster | 0.79.10 | More information |
| dune-uggrid-openmpi | 2.10.0 | More information |
| dune-uggrid | 2.10.0 | More information |
| dune-typetree-openmpi | 2.10.0 | More information |
| dune-typetree | 2.10.0 | More information |
| dune-subgrid-openmpi | 2.10.0-1.e71cc9c | More information |
| dune-subgrid | 2.10.0-1.e71cc9c | More information |
| dune-pdelab-openmpi | 2.8.0-0.d5dddb6 | More information |
| dune-pdelab | 2.8.0-0.d5dddb6 | More information |
| dune-localfunctions-openmpi | 2.10.0 | More information |
| dune-localfunctions | 2.10.0 | More information |
| dune-istl-openmpi | 2.10.0 | More information |
| dune-istl | 2.10.0 | More information |
| dune-grid-openmpi | 2.10.0 | More information |
| dune-grid | 2.10.0 | More information |
| dune-geometry-openmpi | 2.10.0 | More information |
| dune-geometry | 2.10.0 | More information |
| dune-functions-openmpi | 2.10.0 | More information |
| dune-functions | 2.10.0 | More information |
| dune-common-openmpi | 2.10.0 | More information |
| dune-common | 2.10.0 | More information |
| dune-alugrid-openmpi | 2.10.0 | More information |
| dune-alugrid | 2.10.0 | More information |
| direnv | 2.34.0 | More information |
| dealii-openmpi | 9.6.0 | More information |
| dealii | 9.6.0 | More information |
| cudd | 3.0.0 | More information |
| cryptominisat | 5.11.22 | More information |
| conflict | 20221002 | More information |
| combinatorial-blas | 1.6.2 | More information |
| cglm | 0.8.4 | More information |
| cdrtools | 3.01 | More information |
| cdrkit-libre | 1.1.11 | More information |
| cdrdao | 1.2.5 | More information |
| cdparanoia | 10.2 | More information |
| cdemu-daemon | 3.2.6 | More information |
| cdemu-client | 3.2.5 | More information |
| cd-discid | 1.4 | More information |
| ccd2cue | 0.5 | More information |
| cadical | 2.0.0 | More information |
| cadiback | 0.2.1-1.789329d | More information |
| btor2tools | 1.0.0-pre-1.b8456dd | More information |
| boxes | 2.2.1 | More information |
| boolector | 3.2.2 | More information |
| blitz | 1.0.2 | More information |
| bliss | 0.77 | More information |
| blis | 0.9.0 | More information |
| atlas | 3.10.3 | More information |
| asunder | 3.0.1 | More information |
| ascii | 3.30 | More information |
| armadillo | 12.4.2 | More information |
| aiger | 1.9.9 | More information |
| abcde | 2.9.3 | More information |