-----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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]
