Mateusz Kowalczyk
1451a52a38
Remove myself (fuuzetsu) from maintainer lists
...
I haven't been doing any maintenance for a long time now and not only
do I get notified, it also creates a fake impression that all these
packages had at least one maintainer when in practice they had none.
2019-12-05 16:29:48 +09:00
Orivej Desh
2455b2e309
or-tools: 7.0 -> 7.3
2019-10-04 05:17:48 +00:00
volth
46420bbaa3
treewide: name -> pname (easy cases) ( #66585 )
...
treewide replacement of
stdenv.mkDerivation rec {
name = "*-${version}";
version = "*";
to pname
2019-08-15 13:41:18 +01:00
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
Anders Kaseorg
ae6b9dcb0e
or-tools: 6.10 -> 7.0
...
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
2019-03-26 17:04:03 -07:00
Anders Kaseorg
08e9273e29
or-tools: Add Python bindings
...
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
2019-03-26 17:04:03 -07:00
Will Dietz
cd14ad53c3
or-tools: appease warning re:python3, try testing
2018-12-01 13:38:16 -06:00
Will Dietz
046e7980f9
or-tools: parallel
2018-12-01 13:38:16 -06:00
Will Dietz
70c2e88c96
or-tools: touchup
2018-12-01 13:38:16 -06:00
Will Dietz
c4feda8b01
or-tools: v6.9.1 -> v6.10
...
https://github.com/google/or-tools/releases/tag/v6.10
2018-12-01 13:38:16 -06:00
Mateusz Kowalczyk
02fb26136c
or-tools: new package (v6.9.1)
2018-10-25 14:15:13 +09:00
