-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Hi all,
I’d like to package (snapshots of) Ulf Norell’s Agda Prelude. The
system requires a tiny Haskell library, agda-ffi, which lives in the
repository’s agda-ffi subdirectory. However, the CDBS infrastructure
assumes a library’s .cabal file is in the top-level directory, so the
normal debian/rules doesn’t work here. How would you recommend I
package this library?
Thanks in advance,
Benjamin
-----BEGIN PGP
SIGNATURE-----
Version: GnuPG v2
iQF8BAEBCgBmBQJUjhjBXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ5OThCQjVEMTlDOEE3QjE3OUUwREFCODY5
RTczMDE0OUVCOTFDNTNCAAoJEJ5zAUnrkcU7TBsH/R6rcn/nHaXEU5JWR3/nNjak
OpBfEVvpbF64FxrRnovDBP9J3UMussw+e3PSkRma/7SeW4VITm5hTPsZ0YYpZ4QT
t0p0CaQGCkTInNYvA6Sdxo8ckkSogP4StgZ1l/L5r59wXYKAKniSF9HzfFposnI9
rWOMF4mof3l3JGSIYPbPMp//lT4hlAH/8daDDCgYWiNc4h1acT85dcFq0v1aM/H0
Vkaua6CsB75IT1you22tEg0AapUtpFoqpczRlcE+627plkVtt9QhtsRqpKY0wjFc
7kQA6tpTWVykQVYQk1sXrqFP0WU28hh+h52MqspiuGTMhdUhMAzAKTO6RkYHWgU=
=gMpZ
-----END PGP SIGNATURE-----
--
To UNSUBSCRIBE, email to
debian-haskell-request@lists.debian.orgwith a subject of "unsubscribe". Trouble? Contact
listmaster@lists.debian.orgArchive:
[🔎] 87k31t7rr5.fsf@isle-joyeuse.mit.edu" target=_blank >https://lists.debian.org/
[🔎] 87k31t7rr5.fsf@isle-joyeuse.mit.edu