CVS commit: pkgsrc/lang/spark2014-13

["Dmytro Kazankov" <dkazankov%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   dkazankov
Date:           Thu Jul 10 13:03:08 UTC 2025

Added Files:
        pkgsrc/lang/spark2014-13: DESCR

Log Message:
lang/spark2014-13:add missing DESCR file


To generate a diff of this commit:
cvs rdiff -u -r0 -r1.1 pkgsrc/lang/spark2014-13/DESCR

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Added files:

Index: pkgsrc/lang/spark2014-13/DESCR
diff -u /dev/null pkgsrc/lang/spark2014-13/DESCR:1.1
--- /dev/null   Thu Jul 10 13:03:08 2025
+++ pkgsrc/lang/spark2014-13/DESCR      Thu Jul 10 13:03:08 2025
@@ -0,0 +1,8 @@
+SPARK 2014 toolset
+
+SPARK is a software development technology specifically designed for
+engineering high-reliability applications.
+It consists of a programming language, a verification toolset and a design
+method which, taken together, ensure that ultra-low defect software can be
+deployed in application domains where high-reliability must be assured
+and where safety and security are key requirements.