Diffusion FreeBSD ports repository 78fc10cea4dc

devel/frama-c: deprecate
78fc10cea4dc
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

devel/frama-c: deprecate

Details

Provenance

Authored on Feb 20 2023, 4:15 PM

Parents

R11:7c88ae7ce843: deskutils/xfce4-generic-slider: deprecate

Branches

Unknown

Tags

Unknown

Event Timeline

antoine committed R11:78fc10cea4dc: devel/frama-c: deprecate (authored by antoine).Feb 20 2023, 5:09 PM

Changes (1)

Path

Size

devel/

frama-c/

R11:78fc10cea4dc

devel/frama-c/Makefile

Loading...