ada/SPARKlib
0
0
Fork 0
mirror of https://github.com/AdaCore/SPARKlib.git synced 2026-02-12 13:11:36 -08:00
Code Issues Packages Projects Releases Wiki Activity
415 Commits 15 Branches 0 Tags
master
Commit Graph

1 Commits

Author SHA1 Message Date
Joffrey Huguet
7eee48d617 V913-014, W224-046 Copy SPARKlib source files 
This patch copies and adapts the source files of SPARKlib from the spark2014
repository into this one. It also changes the license of these files, as
SPARKlib is now licensed under Apache 2.0.
 2023-04-07 11:29:15 +02:00