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
Files
master
SPARKlib/_CoqProject

2 lines
37 B
Plaintext
Raw Permalink Normal View History

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-02-07 16:47:43 +01:00
-R obj/gnatprove/why3_libs/coq/ Why3
Reference in New Issue Copy Permalink