Log in / Register
Ubuntu
agda package
Overview
Code
Bugs
Blueprints
Translations
Answers
Bug #1808783
Comment #2
Comment 2 for bug 1808783
Revision history for this message
Gianfranco Costamagna (costamagnagianfranco)
wrote
on 2018-12-17
:
#2
llvm-toolchain-3.9 can go after ghc migration
llvm-toolchain-3.9 can go after ghc migration
llvm-toolchain-3.9 can go after ghc migration