mirror of
https://github.com/AdaCore/SPARKlib.git
synced 2026-02-12 13:11:36 -08:00
7eee48d617
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.
2 lines
37 B
Plaintext
2 lines
37 B
Plaintext
-R obj/gnatprove/why3_libs/coq/ Why3
|