{"added":null,"apiVersion":1,"behindSince":null,"buildDepends":[],"categories":["devel"],"comment":"SPARKlib libraries, FSF release 14","compare":null,"dependentCount":null,"description":"SPARKlib libraries\n\nSPARKlib is meant to provide users of SPARK libraries to\nuse in SPARK code. SPARKlib contains various libraries,\nsuch as a wide range of containers, as well as lemmas to\nuse directly in user code.","flavors":[],"html":"https://daemonports.org/netbsd/devel/ada-sparklib-14/","kind":"port","lastUpdate":null,"license":["apache-2.0"],"maintainer":"dkazankov@NetBSD.org","name":"sparklib14","newest":false,"newestVersion":null,"noVulnData":false,"origin":"devel/ada-sparklib-14","otherSystems":[],"packages":[{"repo":"NetBSD 10.1 x86_64","versions":["14.0.0"]},{"repo":"NetBSD 10.1 aarch64","versions":["-"]},{"repo":"SmartOS / illumos x86_64","versions":["-"]},{"repo":"macOS 15 arm64","versions":["-"]}],"pkgName":"sparklib14-14.0.0","related":null,"repository":"pkgsrc","requiredBy":[],"requiredByCount":0,"runDepends":[],"status":null,"system":"netbsd","systemLabel":"NetBSD","version":"14.0.0","versions":null,"vulnerabilities":null,"www":"https://github.com/AdaCore/SPARKlib"}