Diffusion FreeBSD ports repository 841d56019fa0

lang/seed7: update to 05_20250516
841d56019fa0
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

lang/seed7: update to 05_20250516

Changes:

Details

Provenance

gahr	Authored on Jul 17 2025, 7:26 PM

Parents

R11:3f61f24236f2: audio/py-eyed3: update 0.9.8

Branches

Unknown

Tags

Unknown

Event Timeline

gahr committed R11:841d56019fa0: lang/seed7: update to 05_20250516 (authored by gahr).Jul 17 2025, 7:30 PM

Changes (4)

Path

Size

lang/

seed7/

files/

patch-mk_freebsd.mk

patch-prg_chkerr.sd7

R11:841d56019fa0

lang/seed7/Makefile

Loading...

lang/seed7/distinfo

Loading...

lang/seed7/files/patch-mk_freebsd.mk

Loading...

lang/seed7/files/patch-prg_chkerr.sd7

Loading...