|
|
|
@ -581,6 +581,7 @@ net-vpn/wireguard-tools amd64
|
|
|
|
|
~sci-libs/xdrfile-1.1.4 amd64
|
|
|
|
|
~sci-mathematics/coq-8.9.1 amd64
|
|
|
|
|
~sci-mathematics/num-utils-0.5 amd64
|
|
|
|
|
~sci-mathematics/why3-for-spark-2019 amd64
|
|
|
|
|
~sci-misc/netlogo-bin-6.0.2 amd64
|
|
|
|
|
~sci-physics/lammps-20200303 amd64
|
|
|
|
|
~sci-physics/lhapdf-6.2.3 amd64
|
|
|
|
|