diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2015-08-14 18:35:31 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-08-14 18:35:31 -0400 |
| commit | 280ddbfa9d834025a275cefc3a04361b978d8a61 (patch) | |
| tree | c28800493e2ac5d0e0029d7f8285b32a1f1042ac /debian/dafny.install | |
| parent | 43361334dd4f9be3efe0cf7cdf984c140cd74b14 (diff) | |
Package Dafny for experimental
Diffstat (limited to 'debian/dafny.install')
| -rw-r--r-- | debian/dafny.install | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/debian/dafny.install b/debian/dafny.install new file mode 100644 index 00000000..961e7cdc --- /dev/null +++ b/debian/dafny.install @@ -0,0 +1,20 @@ +debian/bin/dafny usr/bin +Binaries/AbsInt.dll usr/lib/dafny +Binaries/Basetypes.dll usr/lib/dafny +Binaries/CodeContractsExtender.dll usr/lib/dafny +Binaries/Concurrency.dll usr/lib/dafny +Binaries/Core.dll usr/lib/dafny +Binaries/Dafny.exe usr/lib/dafny +Binaries/DafnyPipeline.dll usr/lib/dafny +Binaries/DafnyPrelude.bpl usr/lib/dafny +Binaries/DafnyRuntime.cs usr/lib/dafny +Binaries/Doomed.dll usr/lib/dafny +Binaries/ExecutionEngine.dll usr/lib/dafny +Binaries/Graph.dll usr/lib/dafny +Binaries/Houdini.dll usr/lib/dafny +Binaries/Model.dll usr/lib/dafny +Binaries/ModelViewer.dll usr/lib/dafny +Binaries/ParserHelper.dll usr/lib/dafny +Binaries/Provers.SMTLib.dll usr/lib/dafny +Binaries/VCExpr.dll usr/lib/dafny +Binaries/VCGeneration.dll usr/lib/dafny |