diff options
| author | Andreas Baumann <mail@andreasbaumann.cc> | 2022-01-15 11:29:34 +0100 |
|---|---|---|
| committer | Andreas Baumann <mail@andreasbaumann.cc> | 2022-01-15 11:29:34 +0100 |
| commit | 03a99b52cd1a7de7916171ff66c76a29f9ceaed1 (patch) | |
| tree | 1bcd3bbe47a7a0a664b6f7e3285a29795608b072 /community/z3/PKGBUILD | |
| parent | 4e8a205e602e400c3b5e232570aabcd960f5a2d0 (diff) | |
| download | packages-03a99b52cd1a7de7916171ff66c76a29f9ceaed1.tar.xz | |
community/ghc: trying to bootstrap with binary version
Diffstat (limited to 'community/z3/PKGBUILD')
0 files changed, 0 insertions, 0 deletions