Commit Graph

10 Commits

Author SHA1 Message Date
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