# # 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 [email protected] # 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 _______________________________________________ Pkg-haskell-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-haskell-maintainers
