devel/ada-sparklib-14 14.0.0 NetBSD

SPARKlib libraries, FSF release 14

Homepage
Browse the package
Report a problem
Other distributions
Search similar

System: NetBSD
Repository: pkgsrc
Maintainer: [email protected]
License: apache-2.0
Categories: devel
Package size: 140.1 KiB, 3569.4 KiB installed

Description

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.

Install

Binary package:

pkgin install sparklib14

From pkgsrc:

cd /usr/pkgsrc/devel/ada-sparklib-14 && make install clean

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repository	Version
NetBSD 10.1 x86_64	14.0.0
NetBSD 10.1 aarch64	-
SmartOS / illumos x86_64	-
macOS 15 arm64	-

Dependencies

No port depends on this one.