Diffusion FreeBSD ports repository a04537df062a

math/hs-Agda: Unbreak and enable compiling emacs mode files.
a04537df062a
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/hs-Agda: Unbreak and enable compiling emacs mode files.

Details

Provenance

Authored on Aug 15 2022, 1:06 PM

Parents

R11:1418764bb1bf: sysutils/toybox: Update to 0.8.8

Branches

Unknown

Tags

Unknown

Event Timeline

arrowd committed R11:a04537df062a: math/hs-Agda: Unbreak and enable compiling emacs mode files. (authored by arrowd).Aug 15 2022, 1:07 PM

Changes (4)

Path

Size

math/

hs-Agda/

patch-src_data_emacs-mode_agda2-mode.el

R11:a04537df062a

math/hs-Agda/Makefile

Loading...

math/hs-Agda/files/patch-src_data_emacs-mode_agda2-mode.el

Loading...

math/hs-Agda/pkg-plist

Loading...