[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