VOOZH about

URL: https://pkgsrc.se/devel/ada-sparklib-14

⇱ pkgsrc.se | The NetBSD package collection

Skip to main content.
👁 https://pkgsrc.se
Useful links: www.pkgsrc.org | www.netbsd.org | www.netbsd.se
Navigation:
Home | Browse by maintainer | Search | RSS | Info | Statistics | Help | Contact
+ virtual
archivers
audio
benchmarks
biology
cad
chat
comms
converters
cross
crosspkgtools
databases
👁 pil
 devel
  👁 pil
 ada-spar..
doc
editors
emulators
filesystems
finance
fonts
games
geography
graphics
ham
inputmethod
lang
mail
math
mbone
meta-pkgs
misc
multimedia
net
news
parallel
pkgtools
print
regress
security
shells
sysutils
textproc
time
wayland
wip
wm
www
x11

* = Virtual Category
👁 new
New packages:
  Today
  Yesterday
  Last week
  Last month
Path to this page:

./devel/ada-sparklib-14, SPARKlib libraries, FSF release 14

[ 👁 Image
CVSweb ] [ 👁 Image
Homepage ] [ 👁 Image
RSS ] [ 👁 Image
Required by ]

Branch: CURRENT, Version: 14.0.0, Package name: sparklib14-14.0.0, Maintainer: dkazankov

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.

Master sites:

Filesize: 341.235 KB

Version history: (Expand)

CVS history: (Expand)


   2025-09-13 07:51:05 by Dmytro Kazankov | Files touched by this commit (1) 
Log message:
ada-sparklib-14: add superseded package after binary package rename
   2025-09-09 11:15:52 by Dmytro Kazankov | Files touched by this commit (3) 
Log message:
ada-sparklib-14: some pkglinting, binary package renamed
   2025-07-28 08:52:41 by Dmytro Kazankov | Files touched by this commit (5) 
Log message:
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.

This site is operated by pkgsrc.pub, Contact