Changed Paths

i686-linux	python37Packages.mxnet
i686-linux	haskellPackages.lapack-carray
aarch64-linux	openmodelica
x86_64-darwin	sundials
x86_64-linux	magma
x86_64-linux	haskellPackages.lapack-ffi
aarch64-linux	python37Packages.scikits-odes
x86_64-linux	python27Packages.mxnet
x86_64-linux	sundials_3
x86_64-linux	coqPackages.contribs.zorns-lemma
x86_64-darwin	coq_8_7
x86_64-linux	python37Packages.optuna
x86_64-linux	haskellPackages.lapack-comfort-array
x86_64-darwin	python27Packages.fipy
aarch64-linux	python38Packages.scikits-odes
x86_64-linux	compcert
x86_64-darwin	python27Packages.scikits-odes
aarch64-linux	python37Packages.pytorchWithCuda
x86_64-darwin	python27Packages.pysparse
x86_64-darwin	why3
i686-linux	coq_8_6
aarch64-linux	coq_8_6
x86_64-darwin	giac
x86_64-linux	coq_8_9
i686-linux	python38Packages.pytorchWithCuda
i686-linux	python27Packages.mxnet
aarch64-linux	coq_8_10
aarch64-linux	python37Packages.mxnet
i686-linux	scs
x86_64-darwin	compcert
i686-linux	python38Packages.mxnet
x86_64-linux	giac
x86_64-darwin	liblapack
aarch64-linux	haskellPackages.lapack-carray
aarch64-linux	python27Packages.mxnet
i686-linux	why3
i686-linux	python27Packages.fipy
i686-linux	python37Packages.pytorchWithCuda
i686-linux	coq_8_5
aarch64-linux	coq_8_9
i686-linux	framac
aarch64-linux	giac
x86_64-linux	why3
x86_64-darwin	haskellPackages.lapack-comfort-array
aarch64-linux	petsc
x86_64-linux	python37Packages.mxnet
i686-linux	petsc
x86_64-darwin	haskellPackages.lapack-ffi
i686-linux	sundials
x86_64-linux	scs
x86_64-linux	python27Packages.scikits-odes
x86_64-darwin	coq_8_6
x86_64-darwin	python37Packages.optuna
x86_64-linux	xfitter
i686-linux	satallax
i686-linux	mxnet
i686-linux	openmodelica
i686-linux	python27Packages.pysparse
x86_64-darwin	coq_8_8
aarch64-linux	magma
aarch64-linux	csdp
x86_64-linux	mxnet
x86_64-linux	python27Packages.fipy
x86_64-linux	python38Packages.mxnet
x86_64-linux	coq_8_8
i686-linux	coq_8_7
x86_64-linux	petsc
x86_64-linux	python37Packages.scikits-odes
i686-linux	csdp
i686-linux	liblapack
x86_64-linux	giac-with-xcas
aarch64-linux	python37Packages.optuna
x86_64-darwin	coq_8_10
x86_64-darwin	scs
aarch64-linux	python38Packages.pytorchWithCuda
x86_64-darwin	magma
x86_64-darwin	petsc
i686-linux	giac-with-xcas
x86_64-linux	coq_8_10
x86_64-linux	sageWithDoc
i686-linux	haskellPackages.lapack-ffi
aarch64-linux	sundials_3
x86_64-darwin	coq_8_5
x86_64-linux	python27Packages.pysparse
x86_64-linux	sundials
x86_64-linux	python38Packages.scikits-odes
i686-linux	coq_8_8
x86_64-linux	framac
aarch64-linux	python27Packages.scikits-odes
x86_64-linux	haskellPackages.lapack-carray
x86_64-linux	csdp
aarch64-linux	coq_8_7
x86_64-darwin	sundials_3
aarch64-linux	python27Packages.fipy
aarch64-linux	liblapack
aarch64-linux	haskellPackages.lapack-ffi
aarch64-linux	mxnet
x86_64-darwin	xfitter
x86_64-darwin	python37Packages.scikits-odes
x86_64-linux	coqPackages.contribs.containers
i686-linux	coq_8_10
x86_64-linux	satallax
i686-linux	giac
aarch64-linux	scs
i686-linux	sundials_3
aarch64-linux	haskellPackages.lapack-comfort-array
aarch64-linux	framac
x86_64-linux	sage
i686-linux	haskellPackages.lapack-comfort-array
aarch64-linux	coq_8_5
x86_64-darwin	haskellPackages.lapack-carray
x86_64-linux	python38Packages.pytorchWithCuda
aarch64-linux	sundials
i686-linux	xfitter
x86_64-linux	liblapack
aarch64-linux	python38Packages.optuna
x86_64-darwin	coq_8_9
x86_64-linux	coq_8_5
x86_64-darwin	framac
x86_64-linux	python37Packages.pytorchWithCuda
x86_64-darwin	python38Packages.scikits-odes
x86_64-linux	coq_8_6
aarch64-linux	python27Packages.pysparse
aarch64-linux	satallax
x86_64-darwin	giac-with-xcas
x86_64-linux	openmodelica
aarch64-linux	python38Packages.mxnet
i686-linux	magma
x86_64-linux	coq_8_7
aarch64-linux	giac-with-xcas
aarch64-linux	xfitter
aarch64-linux	coq_8_8
aarch64-linux	why3
x86_64-darwin	csdp
i686-linux	coq_8_9