head	1.2;
access;
symbols
	pkgsrc-2026Q1:1.2.0.6
	pkgsrc-2026Q1-base:1.2
	pkgsrc-2025Q4:1.2.0.4
	pkgsrc-2025Q4-base:1.2
	pkgsrc-2025Q3:1.2.0.2
	pkgsrc-2025Q3-base:1.2;
locks; strict;
comment	@# @;


1.2
date	2025.09.09.09.15.52;	author dkazankov;	state Exp;
branches;
next	1.1;
commitid	JFuq8rwMJh37h1aG;

1.1
date	2025.07.28.06.52.41;	author dkazankov;	state Exp;
branches;
next	;
commitid	VOI6TrItc2IGRt4G;


desc
@@


1.2
log
@ada-sparklib-14: some pkglinting, binary package renamed
@
text
@SPARKlib libraries

SPARKlib is meant to provide users of SPARK libraries to
use in SPARK code. SPARKlib contains various libraries,
such as a wide range of containers, as well as lemmas to
use directly in user code.
@


1.1
log
@devel/ada-sparklib-14: add new package 14.0.0

SPARKlib contains various libraries, such as a wide range of containers,
as well as lemmas to use directly in user code.
@
text
@d6 1
a6 1
use directly in user code.@