Diffusion FreeBSD ports repository c756633b0532

math/eprover: Take maintainership
c756633b0532
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/eprover: Take maintainership

Details

Provenance

yuri	Authored on Jul 22 2023, 6:05 PM

Parents

R11:e4da2a2fcba9: audio/rtaudio: Remove comment

Branches

Unknown

Tags

Unknown

Event Timeline

yuri committed R11:c756633b0532: math/eprover: Take maintainership (authored by yuri).Jul 22 2023, 6:05 PM

Changes (1)

Path

Size

math/

eprover/

R11:c756633b0532

math/eprover/Makefile

Loading...