lang/seed7: update to 05_20240812

Changes: https://github.com/ThomasMertes/seed7/releases/tag/Seed7_release_2024-08-12
This commit is contained in:
Pietro Cerutti 2024-08-13 08:33:50 +00:00
parent 85d08af5ea
commit 36a65e557a
3 changed files with 10 additions and 4 deletions

View file

@ -1,5 +1,5 @@
PORTNAME= seed7
DISTVERSION= 05_20240630
DISTVERSION= 05_20240812
PORTREVISION= 0
CATEGORIES= lang
MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/

View file

@ -1,3 +1,3 @@
TIMESTAMP = 1723454198
SHA256 (seed7_05_20240630.tgz) = c4612962debaa86d277b784feb9df5d055bb54a204e48c80af1d08d635a6d78e
SIZE (seed7_05_20240630.tgz) = 4116971
TIMESTAMP = 1723533534
SHA256 (seed7_05_20240812.tgz) = 2f128f621411851248f1cefefd99f8bc4b45ea73761bba70cf3d0f6b1282e21d
SIZE (seed7_05_20240812.tgz) = 4150682

View file

@ -106,11 +106,13 @@ lib/seed7/lib/draw.s7i
lib/seed7/lib/duration.s7i
lib/seed7/lib/echo.s7i
lib/seed7/lib/editline.s7i
lib/seed7/lib/elf.s7i
lib/seed7/lib/elliptic.s7i
lib/seed7/lib/enable_io.s7i
lib/seed7/lib/encoding.s7i
lib/seed7/lib/enumeration.s7i
lib/seed7/lib/environment.s7i
lib/seed7/lib/exif.s7i
lib/seed7/lib/external_file.s7i
lib/seed7/lib/field.s7i
lib/seed7/lib/file.s7i
@ -172,10 +174,13 @@ lib/seed7/lib/msgdigest.s7i
lib/seed7/lib/multiscr.s7i
lib/seed7/lib/null_file.s7i
lib/seed7/lib/osfiles.s7i
lib/seed7/lib/pbm.s7i
lib/seed7/lib/pem.s7i
lib/seed7/lib/pgm.s7i
lib/seed7/lib/pic_util.s7i
lib/seed7/lib/pic16.s7i
lib/seed7/lib/pic32.s7i
lib/seed7/lib/pixelimage.s7i
lib/seed7/lib/pixmap_file.s7i
lib/seed7/lib/pixmapfont.s7i
lib/seed7/lib/pkcs1.s7i
@ -190,6 +195,7 @@ lib/seed7/lib/ref_list.s7i
lib/seed7/lib/reference.s7i
lib/seed7/lib/reverse.s7i
lib/seed7/lib/rpm.s7i
lib/seed7/lib/rpmext.s7i
lib/seed7/lib/scanfile.s7i
lib/seed7/lib/scanjson.s7i
lib/seed7/lib/scanstri.s7i