Orivej Desh b5d1d50aa9 google-gflags: move to aliases.nix ... google-gflags were renamed to gflags in 2012: https://github.com/gflags/gflags/#25-january-2012 gflags.name will be updated in staging.		2019-07-25 09:18:32 +00:00
..
QuadProgpp	…
arpack	…
blas	…
brial	brial: 1.2.4 -> 1.2.5	2019-06-17 13:23:05 +02:00
caffe2	google-gflags: move to aliases.nix	2019-07-25 09:18:32 +00:00
cholmod-extra	…
clblas	…
cliquer	…
cudnn	…
ecos	…
fenics	treewide: fix redirect URLs	2019-07-10 12:52:51 -07:00
flintqs	…
ipopt	…
lcalc	…
libbraiding	…
libhomfly	…
liblapack	treewide: remove unused variables (#63177)	2019-06-16 19:59:05 +00:00
liblbfgs	…
lrs	…
m4ri	…
m4rie	…
magma	…
metis	…
mkl	treewide: remove unused variables (#63177)	2019-06-16 19:59:05 +00:00
nccl	nccl: 2.4.2-1 -> 2.4.8-1	2019-07-18 17:04:43 +00:00
openblas	treewide: remove unused variables (#63177)	2019-06-16 19:59:05 +00:00
openlibm	…
openspecfun	…
or-tools	google-gflags: move to aliases.nix	2019-07-25 09:18:32 +00:00
osi	osi: init at 0.108.4	2019-06-24 15:59:57 +03:00
parmetis	…
petsc	…
planarity	…
primesieve	…
rankwidth	…
rubiks	…
scalapack	…
scs	…
suitesparse	…
superlu	…
sympow	…
zn_poly	…