mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-24 04:33:24 +00:00
devel/pragmarcs: Upgrade version 20160904 => 20161207
This commit is contained in:
parent
f5fefe0e1b
commit
874bc1abb8
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=428531
@ -2,7 +2,7 @@
|
||||
# $FreeBSD$
|
||||
|
||||
PORTNAME= pragmarcs
|
||||
PORTVERSION= 20160904
|
||||
PORTVERSION= 20161207
|
||||
CATEGORIES= devel
|
||||
|
||||
MAINTAINER= marino@FreeBSD.org
|
||||
@ -15,7 +15,7 @@ USES= ada
|
||||
USE_GITHUB= yes
|
||||
GH_ACCOUNT= jrcarter
|
||||
GH_PROJECT= PragmARC
|
||||
GH_TAGNAME= 7dae727
|
||||
GH_TAGNAME= 1378e7a
|
||||
|
||||
post-extract:
|
||||
@${CP} ${FILESDIR}/buildlib.gpr ${WRKSRC}/
|
||||
|
@ -1,3 +1,3 @@
|
||||
TIMESTAMP = 1473175199
|
||||
SHA256 (jrcarter-PragmARC-20160904-7dae727_GH0.tar.gz) = 2e834de2860b45f20aecbbb2c0078622e0bdbd3760f1a2e0feb547163480cdb6
|
||||
SIZE (jrcarter-PragmARC-20160904-7dae727_GH0.tar.gz) = 94352
|
||||
TIMESTAMP = 1481663178
|
||||
SHA256 (jrcarter-PragmARC-20161207-1378e7a_GH0.tar.gz) = 7b65a71ddc5aa9e3aeb636a15a6d28de9daaf80c7efa415a72de933f244eb99e
|
||||
SIZE (jrcarter-PragmARC-20161207-1378e7a_GH0.tar.gz) = 95176
|
||||
|
@ -85,8 +85,12 @@ include/pragmarcs/pragmarc-queue_unbounded_unprotected.adb
|
||||
include/pragmarcs/pragmarc-queue_unbounded_unprotected.ads
|
||||
include/pragmarcs/pragmarc-quick_searcher.adb
|
||||
include/pragmarcs/pragmarc-quick_searcher.ads
|
||||
include/pragmarcs/pragmarc-random_ranges.adb
|
||||
include/pragmarcs/pragmarc-random_ranges.ads
|
||||
include/pragmarcs/pragmarc-rational_numbers.adb
|
||||
include/pragmarcs/pragmarc-rational_numbers.ads
|
||||
include/pragmarcs/pragmarc-real_random_ranges.adb
|
||||
include/pragmarcs/pragmarc-real_random_ranges.ads
|
||||
include/pragmarcs/pragmarc-real_random_values.adb
|
||||
include/pragmarcs/pragmarc-real_random_values.ads
|
||||
include/pragmarcs/pragmarc-reflection.ads
|
||||
@ -186,7 +190,9 @@ lib/pragmarcs/pragmarc-queue_unbounded.ali
|
||||
lib/pragmarcs/pragmarc-queue_unbounded_blocking.ali
|
||||
lib/pragmarcs/pragmarc-queue_unbounded_unprotected.ali
|
||||
lib/pragmarcs/pragmarc-quick_searcher.ali
|
||||
lib/pragmarcs/pragmarc-random_ranges.ali
|
||||
lib/pragmarcs/pragmarc-rational_numbers.ali
|
||||
lib/pragmarcs/pragmarc-real_random_ranges.ali
|
||||
lib/pragmarcs/pragmarc-real_random_values.ali
|
||||
lib/pragmarcs/pragmarc-reflection.ali
|
||||
lib/pragmarcs/pragmarc-regular_expression_matcher.ali
|
||||
|
Loading…
Reference in New Issue
Block a user