Package Details: spark2014-git 0.3.draft.r19318.g3559419bef-2

Git Clone URL: https://aur.archlinux.org/spark2014-git.git (read-only, click to copy)
Package Base: spark2014-git
Description: formally defined programming language based on ada (gnat fsf)
Upstream URL: https://www.spark-2014.org
Licenses: GPL
Conflicts: spark2014, why3
Provides: spark2014
Submitter: Earnest
Maintainer: corecode
Last Packager: corecode
Votes: 0
Popularity: 0.000000
First Submitted: 2018-08-07 08:53
Last Updated: 2020-05-29 09:17