diff options
Diffstat (limited to 'math/why3-spark/pkg-descr')
| -rw-r--r-- | math/why3-spark/pkg-descr | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/math/why3-spark/pkg-descr b/math/why3-spark/pkg-descr deleted file mode 100644 index 7b206e0de540..000000000000 --- a/math/why3-spark/pkg-descr +++ /dev/null @@ -1,5 +0,0 @@ -This is a component of SPARK 2016. Those looking for the deductive -program verification platform known as why3 should refer to math/why3 -instead. - -WWW: http://www.spark-2014.org/ |