Commit graph

1 commit

Author SHA1 Message Date
Brian Schroeder 0e8c811907 isl: add 0.20
Update `isl` to use `isl_0_20`.
2018-11-19 10:34:52 -05:00
Renamed from pkgs/development/libraries/isl/0.15.0.nix (Browse further)