Ubuntu
agda package

  1. Bug #1808783
  2. Comment #23

Comment 23 for bug 1808783

Revision history for this message
Steve Langasek (vorlon) wrote :

Removing packages from disco-proposed:
 hdbc-odbc 2.5.0.1-2 in disco
Comment: FTBFS with ghc 8.4; Debian bug #914353, LP: #1808783
1 package successfully removed.