Processing commands for [email protected]: > fixed 564389 2.2.6-1 Bug #564389 [src:agda-bin] agda-bin: FTBFS: hlibrary.setup: At least the following dependencies are missing: Agda ==2.2.4 Bug Marked as fixed in versions agda-bin/2.2.6-1. > thanks Stopping processing here.
Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database) -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
