plutus 1.34.0.0 (#899)

IntersectMBO · Sep 10, 2024 · bd5a18c · bd5a18c
1 parent 035a2f7
commit bd5a18c
Show file tree

Hide file tree

Showing 6 changed files with 18 additions and 2 deletions.
diff --git a/_sources/plutus-core/1.34.0.0/meta.toml b/_sources/plutus-core/1.34.0.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2024-09-10T13:49:28Z
+github = { repo = "IntersectMBO/plutus", rev = "200ad0ffe59f841b6cae82995d5f080ba71aab0d" }
+subdir = 'plutus-core'
diff --git a/_sources/plutus-ledger-api/1.34.0.0/meta.toml b/_sources/plutus-ledger-api/1.34.0.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2024-09-10T13:49:28Z
+github = { repo = "IntersectMBO/plutus", rev = "200ad0ffe59f841b6cae82995d5f080ba71aab0d" }
+subdir = 'plutus-ledger-api'
diff --git a/_sources/plutus-tx-plugin/1.34.0.0/meta.toml b/_sources/plutus-tx-plugin/1.34.0.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2024-09-10T13:49:28Z
+github = { repo = "IntersectMBO/plutus", rev = "200ad0ffe59f841b6cae82995d5f080ba71aab0d" }
+subdir = 'plutus-tx-plugin'
diff --git a/_sources/plutus-tx/1.34.0.0/meta.toml b/_sources/plutus-tx/1.34.0.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2024-09-10T13:49:28Z
+github = { repo = "IntersectMBO/plutus", rev = "200ad0ffe59f841b6cae82995d5f080ba71aab0d" }
+subdir = 'plutus-tx'
diff --git a/_sources/prettyprinter-configurable/1.34.0.0/meta.toml b/_sources/prettyprinter-configurable/1.34.0.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2024-09-10T13:49:28Z
+github = { repo = "IntersectMBO/plutus", rev = "200ad0ffe59f841b6cae82995d5f080ba71aab0d" }
+subdir = 'prettyprinter-configurable'
diff --git a/flake.nix b/flake.nix
@@ -253,9 +253,10 @@
                 cardano-ledger-babbage.doHaddock = false;
                 cardano-ledger-shelley.doHaddock = false;
                 cardano-protocol-tpraos.doHaddock = false;
-                ouroboros-network.doHaddock = false;
-                ouroboros-consensus.doHaddock = false;
                 ouroboros-consensus-cardano.doHaddock = false;
+                ouroboros-consensus.doHaddock = false;
+                ouroboros-network.doHaddock = false;
+                plutus-ledger-api.doHaddock = false;
               };
             }
           ];