Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | 0001-no-static-boost-libs.patch | 372 | log plain blame |
-rw-r--r-- | default.nix | 1697 | log plain blame |
-rw-r--r-- | glucose-fenv.patch | 2048 | log plain blame |
-rw-r--r-- | minisat-fenv.patch | 2081 | log plain blame |
index : nixpkgs | |
Downstream nixpkgs tree for Spectrum | Alyssa Ross |
summary refs log tree commit diff |
Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | 0001-no-static-boost-libs.patch | 372 | log plain blame |
-rw-r--r-- | default.nix | 1697 | log plain blame |
-rw-r--r-- | glucose-fenv.patch | 2048 | log plain blame |
-rw-r--r-- | minisat-fenv.patch | 2081 | log plain blame |