This package is 2.3 MB.
It is available at http://ftp.debian.org/debian/pool/main/s/spark/spark_2012.0.deb-11+b2_amd64.deb
.
View its full control file here:
debian/control.
SPARK programming language toolset
This package depends on:
libc6 (>= 2.14), libgcc1 (>= 1:3.0), libgmp10 (>= 2:5.0.1+dfsg-7~), libgnat-6 (>= 6.3.0-8), libstdc++6 (>= 5.2), swi-prolog-vm-3, swi-prolog-nox.
This package does not recommend any other package.
This package does not conflict with any other package.
spark 2012.0.deb-11+b2 is in debian - stretch / main. This package's architecture is: amd64.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
/usr/
|
root:root | 0o755 | ||
/usr/bin/
|
root:root | 0o755 | ||
/usr/bin/checker
|
application/octet-stream | root:root | 0o755 | 698.7 KB |
/usr/bin/pogs
|
application/x-sharedlib | root:root | 0o755 | 435.9 KB |
/usr/bin/spadesimp
|
application/octet-stream | root:root | 0o755 | 857.6 KB |
/usr/bin/spark
|
application/x-sharedlib | root:root | 0o755 | 2.9 MB |
/usr/bin/sparkclean
|
application/x-sharedlib | root:root | 0o755 | 35.0 KB |
/usr/bin/sparkformat
|
application/x-sharedlib | root:root | 0o755 | 881.7 KB |
/usr/bin/sparkmake
|
application/x-sharedlib | root:root | 0o755 | 929.3 KB |
/usr/bin/sparksimp
|
application/x-sharedlib | root:root | 0o755 | 96.2 KB |
/usr/bin/vct
|
application/x-sharedlib | root:root | 0o755 | 787.4 KB |
/usr/bin/victor
|
application/x-sharedlib | root:root | 0o755 | 171.8 KB |
/usr/bin/wrap_utility
|
application/x-sharedlib | root:root | 0o755 | 75.5 KB |
/usr/bin/zombiescope
|
application/octet-stream | root:root | 0o755 | 857.6 KB |
/usr/lib/
|
root:root | 0o755 | ||
/usr/lib/spark/
|
root:root | 0o755 | ||
/usr/lib/spark/confgen.adb
|
text/plain | root:root | 0o644 | 6.5 KB |
/usr/lib/spark/current/
|
root:root | 0o755 | ||
/usr/lib/spark/current/ada-characters-handling.shs
|
text/plain | root:root | 0o644 | 5.1 KB |
/usr/lib/spark/current/ada.idx
|
text/plain | root:root | 0o644 | 529 bytes |
/usr/lib/spark/current/all.wrn
|
text/plain | root:root | 0o644 | 147 bytes |
/usr/lib/spark/current/current.sum
|
text/plain | root:root | 0o644 | 45.9 KB |
/usr/lib/spark/current/gnat.cfg
|
text/plain | root:root | 0o644 | 218 bytes |
/usr/lib/spark/current/interfaces-c.shs
|
text/plain | root:root | 0o644 | 3.9 KB |
/usr/lib/spark/current/interfaces.idx
|
text/plain | root:root | 0o644 | 98 bytes |
/usr/lib/spark/current/interfaces.shs
|
text/plain | root:root | 0o644 | 3.9 KB |
/usr/lib/spark/current/spark-ada.ads
|
text/plain | root:root | 0o644 | 2.7 KB |
/usr/lib/spark/current/spark-ada-command_line.adb
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/lib/spark/current/spark-ada-command_line.ads
|
text/plain | root:root | 0o644 | 3.2 KB |
/usr/lib/spark/current/spark-ada-command_line-unbounded_string.adb
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/lib/spark/current/spark-ada-command_line-unbounded_string.ads
|
text/plain | root:root | 0o644 | 3.2 KB |
/usr/lib/spark/current/spark-ada-containers.ads
|
text/plain | root:root | 0o644 | 3.0 KB |
/usr/lib/spark/current/spark-ada-strings.ads
|
text/plain | root:root | 0o644 | 3.3 KB |
/usr/lib/spark/current/spark-ada-strings-maps.adb
|
text/plain | root:root | 0o644 | 4.7 KB |
/usr/lib/spark/current/spark-ada-strings-maps.ads
|
text/plain | root:root | 0o644 | 6.7 KB |
/usr/lib/spark/current/spark-ada-strings-maps-not_spark.adb
|
text/plain | root:root | 0o644 | 3.1 KB |
/usr/lib/spark/current/spark-ada-strings-maps-not_spark.ads
|
text/plain | root:root | 0o644 | 3.1 KB |
/usr/lib/spark/current/spark-ada-strings-not_spark.adb
|
text/plain | root:root | 0o644 | 3.0 KB |
/usr/lib/spark/current/spark-ada-strings-not_spark.ads
|
text/plain | root:root | 0o644 | 2.6 KB |
/usr/lib/spark/current/spark-ada-strings-unbounded.adb
|
text/plain | root:root | 0o644 | 24.4 KB |
/usr/lib/spark/current/spark-ada-strings-unbounded.ads
|
text/plain | root:root | 0o644 | 29.0 KB |
/usr/lib/spark/current/spark-ada-strings-unbounded-not_spark.adb
|
text/plain | root:root | 0o644 | 4.3 KB |
/usr/lib/spark/current/spark-ada-strings-unbounded-not_spark.ads
|
text/plain | root:root | 0o644 | 3.0 KB |
/usr/lib/spark/current/spark-ada-text_io.adb
|
text/plain | root:root | 0o644 | 38.9 KB |
/usr/lib/spark/current/spark-ada-text_io.ads
|
text/plain | root:root | 0o644 | 26.3 KB |
/usr/lib/spark/current/spark-ada-text_io-not_spark.adb
|
text/plain | root:root | 0o644 | 4.2 KB |
/usr/lib/spark/current/spark-ada-text_io-not_spark.ads
|
text/plain | root:root | 0o644 | 2.8 KB |
/usr/lib/spark/current/spark-ada-text_io-unbounded_string.adb
|
text/plain | root:root | 0o644 | 9.4 KB |
/usr/lib/spark/current/spark-ada-text_io-unbounded_string.ads
|
text/plain | root:root | 0o644 | 8.2 KB |
/usr/lib/spark/current/spark.ads
|
text/plain | root:root | 0o644 | 2.7 KB |
/usr/lib/spark/current/spark-crypto.ads
|
text/plain | root:root | 0o644 | 4.0 KB |
/usr/lib/spark/current/spark-crypto-debug.adb
|
text/plain | root:root | 0o644 | 3.1 KB |
/usr/lib/spark/current/spark-crypto-debug.ads
|
text/plain | root:root | 0o644 | 3.1 KB |
/usr/lib/spark/current/spark-crypto-hash.ads
|
text/plain | root:root | 0o644 | 2.8 KB |
/usr/lib/spark/current/spark-crypto-hash-skein.adb
|
text/plain | root:root | 0o644 | 38.2 KB |
/usr/lib/spark/current/spark-crypto-hash-skein.ads
|
text/plain | root:root | 0o644 | 13.5 KB |
/usr/lib/spark/current/spark.idx
|
text/plain | root:root | 0o644 | 1.2 KB |
/usr/lib/spark/current/sparklib.idx
|
text/plain | root:root | 0o644 | 111 bytes |
/usr/lib/spark/current/spark.smf
|
text/plain | root:root | 0o644 | 191 bytes |
/usr/lib/spark/current/spark.sw
|
text/plain | root:root | 0o644 | 61 bytes |
/usr/lib/spark/current/spark-unsigned.adb
|
text/plain | root:root | 0o644 | 968 bytes |
/usr/lib/spark/current/spark-unsigned.ads
|
text/plain | root:root | 0o644 | 9.1 KB |
/usr/lib/spark/current/spark-unsigned.shs
|
text/plain | root:root | 0o644 | 9.2 KB |
/usr/lib/spark/errors.htm
|
text/html | root:root | 0o644 | 209.4 KB |
/usr/lib/spark/spark_io_05.adb
|
text/plain | root:root | 0o644 | 22.2 KB |
/usr/lib/spark/spark_io_05.ads
|
text/plain | root:root | 0o644 | 16.6 KB |
/usr/lib/spark/spark_io.adb
|
text/plain | root:root | 0o644 | 22.6 KB |
/usr/lib/spark/spark_io.ads
|
text/plain | root:root | 0o644 | 17.0 KB |
/usr/lib/spark/sparkreport.xsd
|
text/plain | root:root | 0o644 | 6.4 KB |
/usr/share/
|
root:root | 0o755 | ||
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/spark/
|
root:root | 0o755 | ||
/usr/share/doc/spark/changelog.Debian.amd64.gz
|
application/gzip | root:root | 0o644 | 221 bytes |
/usr/share/doc/spark/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 2.2 KB |
/usr/share/doc/spark/copyright
|
text/plain | root:root | 0o644 | 2.1 KB |
/usr/share/lintian/
|
root:root | 0o755 | ||
/usr/share/lintian/overrides/
|
root:root | 0o755 | ||
/usr/share/lintian/overrides/spark
|
text/plain | root:root | 0o644 | 44 bytes |
/usr/share/man/
|
root:root | 0o755 | ||
/usr/share/man/man1/
|
root:root | 0o755 | ||
/usr/share/man/man1/checker.1.gz
|
application/gzip | root:root | 0o644 | 857 bytes |
/usr/share/man/man1/pogs.1.gz
|
application/gzip | root:root | 0o644 | 1.2 KB |
/usr/share/man/man1/spadesimp.1.gz
|
application/gzip | root:root | 0o644 | 1.3 KB |
/usr/share/man/man1/spark.1.gz
|
application/gzip | root:root | 0o644 | 2.2 KB |
/usr/share/man/man1/sparkformat.1.gz
|
application/gzip | root:root | 0o644 | 1.3 KB |
/usr/share/man/man1/sparkmake.1.gz
|
application/gzip | root:root | 0o644 | 2.0 KB |
/usr/share/man/man1/sparksimp.1.gz
|
application/gzip | root:root | 0o644 | 1.4 KB |
/usr/share/man/man1/victor.1.gz
|
application/gzip | root:root | 0o644 | 1.4 KB |
/usr/share/man/man1/zombiescope.1.gz
|
application/gzip | root:root | 0o644 | 1.1 KB |
/usr/share/spark/
|
root:root | 0o755 | ||
/usr/share/spark/checker/
|
root:root | 0o755 | ||
/usr/share/spark/checker/helptext/
|
root:root | 0o755 | ||
/usr/share/spark/checker/helptext/case.chl
|
text/plain | root:root | 0o644 | 493 bytes |
/usr/share/spark/checker/helptext/consult.chl
|
text/plain | root:root | 0o644 | 848 bytes |
/usr/share/spark/checker/helptext/declare.chl
|
text/plain | root:root | 0o644 | 317 bytes |
/usr/share/spark/checker/helptext/deduce.chl
|
text/plain | root:root | 0o644 | 338 bytes |
/usr/share/spark/checker/helptext/delete.chl
|
text/plain | root:root | 0o644 | 520 bytes |
/usr/share/spark/checker/helptext/done.chl
|
text/plain | root:root | 0o644 | 406 bytes |
/usr/share/spark/checker/helptext/execute.chl
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/spark/checker/helptext/exit.chl
|
text/plain | root:root | 0o644 | 182 bytes |
/usr/share/spark/checker/helptext/forget.chl
|
text/plain | root:root | 0o644 | 648 bytes |
/usr/share/spark/checker/helptext/forwardch.chl
|
text/plain | root:root | 0o644 | 765 bytes |
/usr/share/spark/checker/helptext/help.chl
|
text/plain | root:root | 0o644 | 327 bytes |
/usr/share/spark/checker/helptext/infer.chl
|
text/plain | root:root | 0o644 | 652 bytes |
/usr/share/spark/checker/helptext/instantia.chl
|
text/plain | root:root | 0o644 | 449 bytes |
/usr/share/spark/checker/helptext/list.chl
|
text/plain | root:root | 0o644 | 411 bytes |
/usr/share/spark/checker/helptext/newvc.chl
|
text/plain | root:root | 0o644 | 1.0 KB |
/usr/share/spark/checker/helptext/printvc.chl
|
text/plain | root:root | 0o644 | 368 bytes |
/usr/share/spark/checker/helptext/prove.chl
|
text/plain | root:root | 0o644 | 724 bytes |
/usr/share/spark/checker/helptext/quit.chl
|
text/plain | root:root | 0o644 | 276 bytes |
/usr/share/spark/checker/helptext/remember.chl
|
text/plain | root:root | 0o644 | 332 bytes |
/usr/share/spark/checker/helptext/replace.chl
|
text/plain | root:root | 0o644 | 951 bytes |
/usr/share/spark/checker/helptext/rules.chl
|
text/plain | root:root | 0o644 | 949 bytes |
/usr/share/spark/checker/helptext/rxarith.chl
|
text/plain | root:root | 0o644 | 2.4 KB |
/usr/share/spark/checker/helptext/rxarray.chl
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/spark/checker/helptext/rxenum.chl
|
text/plain | root:root | 0o644 | 948 bytes |
/usr/share/spark/checker/helptext/rxfdlfunc.chl
|
text/plain | root:root | 0o644 | 649 bytes |
/usr/share/spark/checker/helptext/rxgenineq.chl
|
text/plain | root:root | 0o644 | 1.1 KB |
/usr/share/spark/checker/helptext/rxinequal.chl
|
text/plain | root:root | 0o644 | 2.5 KB |
/usr/share/spark/checker/helptext/rxlogic.chl
|
text/plain | root:root | 0o644 | 2.2 KB |
/usr/share/spark/checker/helptext/rxmodular.chl
|
text/plain | root:root | 0o644 | 510 bytes |
/usr/share/spark/checker/helptext/rxquantif.chl
|
text/plain | root:root | 0o644 | 292 bytes |
/usr/share/spark/checker/helptext/rxrecord.chl
|
text/plain | root:root | 0o644 | 2.1 KB |
/usr/share/spark/checker/helptext/rxseq.chl
|
text/plain | root:root | 0o644 | 2.7 KB |
/usr/share/spark/checker/helptext/rxsets.chl
|
text/plain | root:root | 0o644 | 692 bytes |
/usr/share/spark/checker/helptext/rxspecial.chl
|
text/plain | root:root | 0o644 | 2.9 KB |
/usr/share/spark/checker/helptext/save.chl
|
text/plain | root:root | 0o644 | 333 bytes |
/usr/share/spark/checker/helptext/set.chl
|
text/plain | root:root | 0o644 | 437 bytes |
/usr/share/spark/checker/helptext/show.chl
|
text/plain | root:root | 0o644 | 367 bytes |
/usr/share/spark/checker/helptext/simplify.chl
|
text/plain | root:root | 0o644 | 537 bytes |
/usr/share/spark/checker/helptext/standard.chl
|
text/plain | root:root | 0o644 | 1.1 KB |
/usr/share/spark/checker/helptext/status.chl
|
text/plain | root:root | 0o644 | 316 bytes |
/usr/share/spark/checker/helptext/traverse.chl
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/spark/checker/helptext/undelete.chl
|
text/plain | root:root | 0o644 | 333 bytes |
/usr/share/spark/checker/helptext/unwrap.chl
|
text/plain | root:root | 0o644 | 595 bytes |
/usr/share/spark/checker/rules/
|
root:root | 0o755 | ||
/usr/share/spark/checker/rules/ARITH.RUL
|
text/plain | root:root | 0o644 | 6.1 KB |
/usr/share/spark/checker/rules/ARRAY.RUL
|
text/plain | root:root | 0o644 | 4.3 KB |
/usr/share/spark/checker/rules/BITWISE.RUL
|
text/plain | root:root | 0o644 | 6.9 KB |
/usr/share/spark/checker/rules/checker.ini
|
text/plain | root:root | 0o644 | 58 bytes |
/usr/share/spark/checker/rules/ENUMERATION.RUL
|
text/plain | root:root | 0o644 | 7.7 KB |
/usr/share/spark/checker/rules/ENUM.RUL
|
text/plain | root:root | 0o644 | 13.8 KB |
/usr/share/spark/checker/rules/FDLFUNCS.RUL
|
text/plain | root:root | 0o644 | 5.8 KB |
/usr/share/spark/checker/rules/GENINEQS.RUL
|
text/plain | root:root | 0o644 | 5.0 KB |
/usr/share/spark/checker/rules/INTINEQS.RUL
|
text/plain | root:root | 0o644 | 2.7 KB |
/usr/share/spark/checker/rules/LOGIC.RUL
|
text/plain | root:root | 0o644 | 6.5 KB |
/usr/share/spark/checker/rules/MODULAR.RUL
|
text/plain | root:root | 0o644 | 4.1 KB |
/usr/share/spark/checker/rules/NUMINEQS.RUL
|
text/plain | root:root | 0o644 | 8.7 KB |
/usr/share/spark/checker/rules/QUANTIF.RUL
|
text/plain | root:root | 0o644 | 4.0 KB |
/usr/share/spark/checker/rules/RECORD.RUL
|
text/plain | root:root | 0o644 | 23.9 KB |
/usr/share/spark/checker/rules/SEQ.RUL
|
text/plain | root:root | 0o644 | 6.0 KB |
/usr/share/spark/checker/rules/SETS.RUL
|
text/plain | root:root | 0o644 | 5.2 KB |
/usr/share/spark/checker/rules/SPECIAL.RUL
|
text/plain | root:root | 0o644 | 7.2 KB |
/usr/share/spark/divmod.rul
|
text/plain | root:root | 0o644 | 2.2 KB |
/usr/share/spark/prelude.fdl
|
text/plain | root:root | 0o644 | 1.2 KB |
/usr/share/spark/prelude.rul
|
text/plain | root:root | 0o644 | 3.3 KB |
/usr/share/spark/smt_prelude.mlw
|
text/plain | root:root | 0o644 | 7 bytes |