Diffusion FreeBSD ports repository rP536384

Remove expired port:
rP536384
Actions

Description

Remove expired port:

2020-05-05 lang/gnatdroid-armv7: Broken for more than 6 months

Details

Provenance

rene	Authored on

Parents

rP536383: Chase GitLab redirect in PATCH_SITES

Branches

Unknown

Tags

Unknown

Event Timeline

rene committed rP536384: Remove expired port:.May 24 2020, 10:55 AM

Changes (9)

Path

Size

head/

lang/

rP536384

View Options

head/MOVED

View Options

head/lang/Makefile

View Options

head/lang/gnatdroid-armv7/

View Options

head/lang/gnatdroid-armv7/Makefile

View Options

head/lang/gnatdroid-armv7/files/

View Options

head/lang/gnatdroid-armv7/files/acats.diff

View Options

head/lang/gnatdroid-armv7/files/pkg-message.in

View Options

head/lang/gnatdroid-armv7/pkg-descr

View Options

head/lang/gnatdroid-armv7/pkg-plist

Remove expired port:rP536384Actions

Description

Details

Event Timeline

Changes (9)

rP536384

head/MOVED

head/lang/Makefile

head/lang/gnatdroid-armv7/

head/lang/gnatdroid-armv7/Makefile

head/lang/gnatdroid-armv7/files/

head/lang/gnatdroid-armv7/files/acats.diff

head/lang/gnatdroid-armv7/files/pkg-message.in

head/lang/gnatdroid-armv7/pkg-descr

head/lang/gnatdroid-armv7/pkg-plist

Remove expired port:
rP536384
Actions