Summary: | dev-lang/idris2-0.6.0 - Error: Module Data.Nat not found | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Toralf Förster <toralf> |
Component: | Current packages | Assignee: | Scheme Project <scheme> |
Status: | CONFIRMED --- | ||
Severity: | normal | ||
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Attachments: |
emerge-info.txt
dev-lang:idris2-0.6.0:20221112-130835.log emerge-history.txt environment etc.clang.tar.bz2 etc.portage.tar.bz2 temp.tar.bz2 |
Description
Toralf Förster
2022-11-12 18:10:21 UTC
Created attachment 832063 [details]
emerge-info.txt
Created attachment 832065 [details]
dev-lang:idris2-0.6.0:20221112-130835.log
Created attachment 832067 [details]
emerge-history.txt
Created attachment 832069 [details]
environment
Created attachment 832071 [details]
etc.clang.tar.bz2
Created attachment 832073 [details]
etc.portage.tar.bz2
Created attachment 832075 [details]
temp.tar.bz2
|