From 280ddbfa9d834025a275cefc3a04361b978d8a61 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Fri, 14 Aug 2015 18:35:31 -0400 Subject: Package Dafny for experimental --- debian/dafny.install | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 debian/dafny.install (limited to 'debian/dafny.install') 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 -- cgit v1.2.3