1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-22 23:10:02 +00:00
nixpkgs/pkgs/development/libraries/armadillo
2017-11-25 18:27:01 +01:00
..
default.nix armadillo: 7.800.1 -> 8.300.0 2017-11-25 18:27:01 +01:00
use-unix-config-on-OS-X.patch armadillo: 7.800.1 -> 8.300.0 2017-11-25 18:27:01 +01:00