R. RyanTM 045c4d8f64 armadillo: 8.600.0 -> 9.100.5 (#45266) ... Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/armadillo/versions.		2018-08-28 23:28:20 +02:00
..
default.nix	armadillo: 8.600.0 -> 9.100.5 (#45266)	2018-08-28 23:28:20 +02:00
use-unix-config-on-OS-X.patch	armadillo: 7.800.1 -> 8.300.0	2017-11-25 18:27:01 +01:00