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: f9be2b875866a66aa4fde5387bdf478bcf620aed (plain) (blame)

1 2	`SHA256 (frama-c-Nitrogen-20111001.tar.gz) = 8afad848321c958fab265045cd152482e77ce7c175ee7c9af2d4bec57a1bc671 SIZE (frama-c-Nitrogen-20111001.tar.gz) = 12110786`