Ryan Mulligan d0cf327aad armadillo: 8.300.0 -> 8.400.0 ... Semi-automatic update; builds on NixOS		2018-02-24 15:33:02 -08:00
..
default.nix	armadillo: 8.300.0 -> 8.400.0	2018-02-24 15:33:02 -08:00
use-unix-config-on-OS-X.patch	armadillo: 7.800.1 -> 8.300.0	2017-11-25 18:27:01 +01:00