Julian Ospald 6e3fef8e15 Build armv7 bindists for deb10		2023-11-17 21:25:24 +08:00
..
scripts	Allow our own cabal-install bindist builds	2023-11-16 21:13:08 +08:00
workflows	Build armv7 bindists for deb10	2023-11-17 21:25:24 +08:00