[Git][haskell-team/agda-stdlib][master] 2 commits: Apply multi-arch hints.
Jelmer Vernooij (@jelmer)
gitlab at salsa.debian.org
Mon Nov 28 12:12:23 GMT 2022
Jelmer Vernooij pushed to branch master at Debian Haskell Group / agda-stdlib
Commits:
af98a9d6 by Debian Janitor at 2022-11-03T06:24:23+00:00
Apply multi-arch hints.
+ agda-stdlib-doc: Add Multi-Arch: foreign.
Changes-By: apply-multiarch-hints
- - - - -
06062ab6 by Jelmer Vernooij at 2022-11-28T12:12:20+00:00
Merge branch 'multiarch-fixes' into 'master'
Apply hints suggested by the multi-arch hinter
See merge request haskell-team/agda-stdlib!2
- - - - -
1 changed file:
- debian/control
Changes:
=====================================
debian/control
=====================================
@@ -54,6 +54,7 @@ Architecture: all
Section: doc
Depends: ${misc:Depends}
Suggests: agda-stdlib
+Multi-Arch: foreign
Description: standard library for Agda — documentation
Agda is a dependently typed functional programming language: It has inductive
families, which are like Haskell's GADTs, but they can be indexed by values and
View it on GitLab: https://salsa.debian.org/haskell-team/agda-stdlib/-/compare/64824f729653216f5d8e2cc3715210e05d0b8594...06062ab6bc2d2394325bbb179625b3202086142f
--
View it on GitLab: https://salsa.debian.org/haskell-team/agda-stdlib/-/compare/64824f729653216f5d8e2cc3715210e05d0b8594...06062ab6bc2d2394325bbb179625b3202086142f
You're receiving this email because of your account on salsa.debian.org.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/pkg-haskell-commits/attachments/20221128/c3bd4623/attachment.htm>
More information about the Pkg-haskell-commits
mailing list