diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-07-08 22:44:03 +0200 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-07-09 00:15:24 +0200 |
commit | 22bc910c1a307ddf488416be79bf013534df1ad0 (patch) | |
tree | 13dd0457777aa20fa835307b58bdcbee051ff7ff /nixos | |
parent | 813f12447119eb04826ebeece0be90201cb6c9f3 (diff) | |
download | nixpkgs-22bc910c1a307ddf488416be79bf013534df1ad0.tar nixpkgs-22bc910c1a307ddf488416be79bf013534df1ad0.tar.gz nixpkgs-22bc910c1a307ddf488416be79bf013534df1ad0.tar.bz2 nixpkgs-22bc910c1a307ddf488416be79bf013534df1ad0.tar.lz nixpkgs-22bc910c1a307ddf488416be79bf013534df1ad0.tar.xz nixpkgs-22bc910c1a307ddf488416be79bf013534df1ad0.tar.zst nixpkgs-22bc910c1a307ddf488416be79bf013534df1ad0.zip |
coq-fiat: do not run tests on i686
as they require too much memory
Diffstat (limited to 'nixos')
0 files changed, 0 insertions, 0 deletions