- Update to 0.53
- Remove BUILD_DEPENDS
PR: 246246
Submitted by: Sergei Vyshenski <svysh dot fbsd at gmail dot com>
Description
Description
Details
Details
- Provenance
ashish Authored on May 6 2020, 8:41 PM - Parents
- R11:52242013028c: math/hs-Agda: Install emacs mode files.
- Branches
- Unknown
- Tags