Package Details: spark2014-git 0.3.draft.r17853.g7a0a54649-1

Git Clone URL: https://aur.archlinux.org/spark2014-git.git (read-only)
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: Earnest
Last Packager: Earnest
Votes: 0
Popularity: 0.000000
First Submitted: 2018-08-07 08:53
Last Updated: 2019-01-10 19:12

Dependencies (16)

Required by (0)

Sources (4)