update repository

2019-05-13 07:02:19 +00:00 · 2019-05-13 07:02:19 +00:00 · a78113196b
commit a78113196b
parent 2691d6598d
4 changed files with 24 additions and 2 deletions
--- a/index.tar.gz
+++ b/index.tar.gz
--- a/packages/tezos-memory-proto-alpha/tezos-memory-proto-alpha.1.0/opam
+++ b/packages/tezos-memory-proto-alpha/tezos-memory-proto-alpha.1.0/opam
@ -0,0 +1,22 @@
+opam-version: "2.0"
+name: "memory-proto-alpha"
+version: "1.0"
+synopsis: "Tezos Protocol Alpha in memory"
+maintainer: "Galfour <gabriel.alfour@gmail.com>"
+authors: "Galfour <gabriel.alfour@gmail.com>"
+license: "MIT"
+homepage: "https://gitlab.com/gabriel.alfour/tezos"
+bug-reports: "https://gitlab.com/gabriel.alfour/tezos/issues"
+depends: [
+  "dune"
+  "tezos-protocol-environment"
+  "tezos-protocol-alpha"
+]
+build: [
+  ["dune" "build" "-p" name]
+  [ "mv" "src/lib_memory_protocol_alpha/tezos-memory-proto-alpha.install" "." ]
+]
+dev-repo: "git+https://gitlab.com/gabriel.alfour/tezos"
+url {
+  src: "https://gitlab.com/gabriel.alfour/tezos-modded/-/archive/master/tezos-modded.tar.gz"
+}
--- a/2
+++ b/2
@ -1,3 +1,3 @@
 opam-version: "2.0"
 archive-mirrors: "cache"
-stamp: "aa7ea940"
+stamp: "2691d659"
--- a/urls.txt
+++ b/urls.txt
@ -1 +1 @@
-repo	4f4c3afabff9f1429eb18b1db55d2fc0	420
+repo	8b082dbbe1a3a3cdd492da4f96062700	420