R. RyanTM 634bcd3cdd armadillo: 9.700.2 -> 9.800.1 ...

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

2019-10-20 22:12:25 -07:00

..

default.nix

armadillo: 9.700.2 -> 9.800.1

2019-10-20 22:12:25 -07:00

use-unix-config-on-OS-X.patch

…