HomeFreeBSD
Diffusion FreeBSD ports repository d9edbdde5ddc

math/hs-Agda: Fix LICENSE
d9edbdde5ddc
Actions

Description

math/hs-Agda: Fix LICENSE

PR: 277730

Details

Provenance
Andrey Korobkov <alster@vinterdalen.se>Authored on Mar 16 2024, 11:58 AM
arrowdCommitted on Mar 16 2024, 11:58 AM
Parents
R11:6df9b5d51843: net/rabbitmq: add upgrade and UPDATING messages
Branches
Unknown
Tags
Unknown

Event Timeline

arrowd committed R11:d9edbdde5ddc: math/hs-Agda: Fix LICENSE (authored by Andrey Korobkov <alster@vinterdalen.se>).Mar 16 2024, 11:58 AM

Changes (1)

PathSize
math/
hs-Agda/

R11:d9edbdde5ddc

View Options

math/hs-Agda/Makefile

Loading...