| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | cvc4-1.8-bash-5.2-fix.patch | 1092 | logplain |
| -rw-r--r-- | cvc4-1.8-cmake4.patch | 674 | logplain |
| -rw-r--r-- | cvc4-1.8-destdir.patch | 771 | logplain |
| -rw-r--r-- | cvc4-1.8-gentoo.patch | 896 | logplain |
| -rw-r--r-- | cvc4-1.8-gnuinstalldirs.patch | 7433 | logplain |
| -rw-r--r-- | cvc4-1.8-musl.patch | 3734 | logplain |
| -rw-r--r-- | cvc4-1.8-size_t.patch | 281 | logplain |
| -rw-r--r-- | cvc4-1.8-toml.patch | 1329 | logplain |
 |
index : gentoo.git | |
| Gentoo ebuild repository mirror. Updates daily. | Xian Wang |
| summaryrefslogtreecommitdiff |