[bts-link] source package src:haskell-cryptol

[debian-bts-link at lists.debian.org]

#
# bts-link upstream status pull for source package src:haskell-cryptol
# see http://lists.debian.org/debian-devel-announce/2006/05/msg00001.html
#     https://bts-link-team.pages.debian.net/bts-link/
#

user debian-bts-link at lists.debian.org

# remote status report for #856234 (http://bugs.debian.org/856234)
# Bug title: haskell-cryptol FTBFS on !x86: #error unknown max width for gmp on this architecture
#  * https://github.com/GaloisInc/cryptol/issues/542
#  * remote status changed: (?) -> closed
#  * closed upstream
tags 856234 + fixed-upstream
usertags 856234 + status-closed

thanks