| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | configure.patch | 347 | logplain |
| -rw-r--r-- | default.nix | 1520 | logplain |
| -rw-r--r-- | with-provers.nix | 871 | logplain |
 |
index : libkookie | |
| 🍍 Things that make my computers more sad than other people's computers | Katharina Fey |
| aboutsummaryrefslogtreecommitdiff |