distinfo « frama-c « devel - freebsd-ports-gnome - FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

index : freebsd-ports-gnome

FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

about summary refs log tree commit diff stats

path: root/devel/frama-c/distinfo

blob: 2d56d9909f4d86b200c1b7799adf30e7bb07a927 (plain) (blame)

1 2	`SHA256 (frama-c-Oxygen-20120901.tar.gz) = f749870a2451f97d24da886c0cc7708e3ec57ad3f169f6b79f9b52be1f47c216 SIZE (frama-c-Oxygen-20120901.tar.gz) = 10815011`