maintainer-feedback requested: [Bug 246254] math/hs-Agda: agda-mode files missing

bugzilla-noreply at freebsd.org bugzilla-noreply at freebsd.org
Wed May 6 12:33:30 UTC 2020

Previous message (by thread): [Bug 246224] lang/ghc: bad distinfo for powerpc64 elfv2 bootstrap
Next message (by thread): [Bug 246254] math/hs-Agda: agda-mode files missing
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Bugzilla Automation <bugzilla at FreeBSD.org> has asked freebsd-haskell mailing
list <haskell at FreeBSD.org> for maintainer-feedback:
Bug 246254: math/hs-Agda: agda-mode files missing
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=246254



--- Description ---
The port does not contain the emacs agda-mode files.

Previous message (by thread): [Bug 246224] lang/ghc: bad distinfo for powerpc64 elfv2 bootstrap
Next message (by thread): [Bug 246254] math/hs-Agda: agda-mode files missing
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the freebsd-haskell mailing list