| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | normaliz-2.12.1-respect-flags.patch | 2097 | logplain |
| -rw-r--r-- | normaliz-2.12.2-gcc49.patch | 447 | logplain |
| -rw-r--r-- | normaliz-3.0.0-gmp61-compat.patch | 2917 | logplain |
| -rw-r--r-- | normaliz-3.0.0-respect-flags.patch | 2084 | logplain |
GitWeb