head	1.1;
access;
symbols
	pkgsrc-2026Q2:1.1.0.8
	pkgsrc-2026Q2-base:1.1
	pkgsrc-2026Q1:1.1.0.6
	pkgsrc-2026Q1-base:1.1
	pkgsrc-2025Q4:1.1.0.4
	pkgsrc-2025Q4-base:1.1
	pkgsrc-2025Q3:1.1.0.2
	pkgsrc-2025Q3-base:1.1;
locks; strict;
comment	@-- @;


1.1
date	2025.07.10.12.43.03;	author dkazankov;	state Exp;
branches;
next	;
commitid	z1RS4shiAdqKnc2G;


desc
@@


1.1
log
@lang/spark2014-13: Add new package version 13.3.0

SPARK 2014 toolset, FSF release 13.
A programming language, a verification toolset and a design method.
@
text
@$NetBSD: patch-spark2014vsn.ads,v 1.0 2024/05/19 22:00:00 dkazankov Exp $

Fix version number

--- spark2014vsn.ads.orig	2023-01-05 11:22:11.000000000 +0200
+++ spark2014vsn.ads
@@@@ -22,7 +22,7 @@@@
 
 package SPARK2014VSN is
 
-   SPARK2014_Static_Version_String : constant String := "0.0w";
+   SPARK2014_Static_Version_String : constant String := "FSF 13.0";
    --  Static string identifying this version, that can be used as an argument
    --  to e.g. pragma Ident.
    --
@