IntersectMBO · neilmayhew · Mar 20, 2026 · Feb 9, 2026 · Feb 9, 2026 · Mar 9, 2026
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -208,6 +208,7 @@ jobs:
 
       - name: Unpack built repository
         run: |
+          rm -rf built-repo
           mkdir built-repo
           tar xf _repo.tar -C built-repo
 

diff --git a/_sources/Win32-network/0.1.1.1/meta.toml b/_sources/Win32-network/0.1.1.1/meta.toml
@@ -1,3 +1,2 @@
 timestamp = 2023-01-03T09:34:24Z
 github = { repo = "input-output-hk/Win32-network", rev = "1521906427571afd64670c2ce5f074d36aefb636" }
-force-version = true
diff --git a/_sources/bech32/1.1.4.1/meta.toml b/_sources/bech32/1.1.4.1/meta.toml
@@ -1,4 +1,3 @@
 timestamp = 2023-07-27T09:34:22Z
 github = { repo = "input-output-hk/bech32", rev = "c938472efd2b72ecbbb1e323993142b6d360566a" }
 subdir = 'bech32'
-force-version = true
diff --git a/_sources/cardano-crypto-class/2.0.0.0.1/meta.toml b/_sources/cardano-crypto-class/2.0.0.0.1/meta.toml
@@ -1,4 +1,3 @@
 timestamp = 2022-10-21T18:32:30Z
 github = { repo = "input-output-hk/cardano-base", rev = "cc049d7c9b9a0129c15b1355fd1dff9e1a1a551c" }
 subdir = 'cardano-crypto-class'
-force-version = true
diff --git a/_sources/cardano-crypto-praos/2.0.0.0.1/meta.toml b/_sources/cardano-crypto-praos/2.0.0.0.1/meta.toml
@@ -1,7 +1,6 @@
 timestamp = 2022-10-25T16:40:34Z
 github = { repo = "input-output-hk/cardano-base", rev = "cc049d7c9b9a0129c15b1355fd1dff9e1a1a551c" }
 subdir = 'cardano-crypto-praos'
-force-version = true
 
 [[revisions]]
 number = 1

diff --git a/_sources/cardano-crypto-tests/2.0.0.0.1/meta.toml b/_sources/cardano-crypto-tests/2.0.0.0.1/meta.toml
@@ -1,7 +1,6 @@
 timestamp = 2022-10-25T16:40:49Z
 github = { repo = "input-output-hk/cardano-base", rev = "cc049d7c9b9a0129c15b1355fd1dff9e1a1a551c" }
 subdir = 'cardano-crypto-tests'
-force-version = true
 
 [[revisions]]
 number = 1

@@ -1,3 +1,2 @@
 timestamp = 2023-08-01T12:19:35Z
 github = { repo = "input-output-hk/lmdb-simple", rev = "5e7e9e37dbc34d882cc0c5dcd63a2a69c0e32122" }
-force-version = true
diff --git a/_sources/dependent-sum-template/0.1.1.1.0.0.0.1/meta.toml b/_sources/dependent-sum-template/0.1.1.1.0.0.0.1/meta.toml
@@ -1,3 +1,2 @@
 timestamp = 2023-09-26T01:42:03Z
 github = { repo = "input-output-hk/dependent-sum-template", rev = "adb6550fbde9b5b0613d71c65f23bd0fbb46d761" }
-force-version = true
@@ -1,7 +1,6 @@
 timestamp = 2023-08-01T12:27:43Z
 github = { repo = "input-output-hk/anti-diffs", rev = "fa51ada9fbb03279e7a4bcfbf9c6f83b97b41f4e" }
 subdir = 'diff-containers'
-force-version = true
 
 [[deprecations]]
 timestamp = 2023-09-04T11:07:22Z

diff --git a/_sources/ekg-core/0.1.1.7.0.0.0.0.1/meta.toml b/_sources/ekg-core/0.1.1.7.0.0.0.0.1/meta.toml
@@ -1,4 +1,3 @@
 timestamp = 2023-11-13T16:03:57Z
 github = { repo = "input-output-hk/ekg", rev = "f5e0d198cf741a4b6749ebbb769fddf72178f15b" }
 subdir = 'ekg-core'
-force-version = true
diff --git a/_sources/ekg-json/0.1.0.7.0.0.0.0.1/meta.toml b/_sources/ekg-json/0.1.0.7.0.0.0.0.1/meta.toml
@@ -1,6 +1,5 @@
 timestamp = 2022-10-17T00:00:00Z
 github = { repo = "vshabanov/ekg-json", rev = "00ebe7211c981686e65730b7144fbf5350462608" }
-force-version = true
 
 [[revisions]]
 number = 1

diff --git a/_sources/ekg-json/0.1.0.7.0.0.0.0.2/meta.toml b/_sources/ekg-json/0.1.0.7.0.0.0.0.2/meta.toml
@@ -1,4 +1,3 @@
 timestamp = 2023-11-13T16:08:57Z
 github = { repo = "input-output-hk/ekg", rev = "f5e0d198cf741a4b6749ebbb769fddf72178f15b" }
 subdir = 'ekg-json'
-force-version = true
diff --git a/_sources/ekg-wai/0.1.1.0.0.0.0.1/meta.toml b/_sources/ekg-wai/0.1.1.0.0.0.0.1/meta.toml
@@ -1,3 +1,2 @@
 timestamp = 2025-01-22T16:50:05Z
 github = { repo = "mgmeier/ekg-wai", rev = "30369508df25ead51d4e64a1e9d69e1a942462e0" }
-force-version = true
diff --git a/_sources/ekg/0.4.0.15.0.0.0.0.1/meta.toml b/_sources/ekg/0.4.0.15.0.0.0.0.1/meta.toml
@@ -1,6 +1,5 @@
 timestamp = 2023-03-31T11:59:43Z
 github = { repo = "tibbe/ekg", rev = "b6dcfd3fa2da837c440517c8850fedc1923bcfd7" }
-force-version = true
 
 [[revisions]]
 number = 1

diff --git a/_sources/ekg/0.4.0.15.0.0.0.0.2/meta.toml b/_sources/ekg/0.4.0.15.0.0.0.0.2/meta.toml
@@ -1,4 +1,3 @@
 timestamp = 2023-11-13T16:05:05Z
 github = { repo = "input-output-hk/ekg", rev = "f5e0d198cf741a4b6749ebbb769fddf72178f15b" }
 subdir = 'ekg'
-force-version = true
diff --git a/_sources/flat/0.4.4.0.0.0.0.1/meta.toml b/_sources/flat/0.4.4.0.0.0.0.1/meta.toml
@@ -1,3 +1,2 @@
 timestamp = 2022-10-17T00:00:00Z
 github = { repo = "input-output-hk/flat", rev = "ee59880f47ab835dbd73bea0847dab7869fc20d8" }
-force-version = true
diff --git a/_sources/flat/0.4.4.0.0.0.0.2/meta.toml b/_sources/flat/0.4.4.0.0.0.0.2/meta.toml
@@ -1,3 +1,2 @@
 timestamp = 2022-10-17T00:00:00Z
 github = { repo = "input-output-hk/flat", rev = "3bd82065ec7f8f253bcb18832b200dbf07707a3b" }
-force-version = true
diff --git a/_sources/foundation/0.0.29.0.0.0.0.1/meta.toml b/_sources/foundation/0.0.29.0.0.0.0.1/meta.toml
@@ -1,4 +1,3 @@
 timestamp = 2023-05-16T08:53:30Z
 github = { repo = "input-output-hk/foundation", rev = "0a9d642a57e323d6a40bf1c80af57fe517d78f61" }
 subdir = 'foundation'
-force-version = true
diff --git a/_sources/foundation/0.0.29.0.0.0.0.2/meta.toml b/_sources/foundation/0.0.29.0.0.0.0.2/meta.toml
@@ -1,4 +1,3 @@
 timestamp = 2023-05-28T23:23:01Z
 github = { repo = "input-output-hk/foundation", rev = "44ec11afdb6c64639aeae5a4a062186d49d3c9f1" }
 subdir = 'foundation'
-force-version = true
diff --git a/_sources/hedgehog/1.2.0.0.0.0.1/meta.toml b/_sources/hedgehog/1.2.0.0.0.0.1/meta.toml
@@ -1,7 +1,6 @@
 timestamp = 2023-04-03T16:59:56Z
 github = { repo = "hedgehogqa/haskell-hedgehog", rev = "70cf9fd0719e2d0ace1093cbe75673d7b9b4cf65" }
 subdir = 'hedgehog'
-force-version = true
 
 [[revisions]]
 number = 1

diff --git a/_sources/inline-r/1.0.0.0.0.0.0.1/meta.toml b/_sources/inline-r/1.0.0.0.0.0.0.1/meta.toml
@@ -1,4 +1,3 @@
 timestamp = 2023-01-03T13:59:37Z
 github = { repo = "tweag/HaskellR", rev = "53ce6887d8043252a068bc0a7db438abd4cfdc52" }
 subdir = 'inline-r'
-force-version = true
diff --git a/_sources/int-cast/0.2.0.0.0.0.0.0.1/meta.toml b/_sources/int-cast/0.2.0.0.0.0.0.0.1/meta.toml
@@ -1,3 +1,2 @@
 timestamp = 2022-10-17T00:00:00Z
 github = { repo = "input-output-hk/int-cast", rev = "20cc3a95383fc8d1c2ea3b3d691700036cecdeac" }
-force-version = true
diff --git a/_sources/latex-svg-image/0.2.0.0.0.1/meta.toml b/_sources/latex-svg-image/0.2.0.0.0.1/meta.toml
@@ -1,7 +1,6 @@
 timestamp = 2024-04-05T13:36:27Z
 github = { repo = "jasagredo/latex-svg", rev = "c52c9905cb043ddb430c93b41ce431a7506a300d" }
 subdir = 'latex-svg-image'
-force-version = true
 
 [[revisions]]
 number = 1

diff --git a/_sources/libsystemd-journal/1.4.5.0.0.0.0.1/meta.toml b/_sources/libsystemd-journal/1.4.5.0.0.0.0.1/meta.toml
@@ -1,6 +1,5 @@
 timestamp = 2023-03-31T11:59:45Z
 github = { repo = "ocharles/libsystemd-journal", rev = "c49785d4e56b6b14fbff47b75c54784292af950c" }
-force-version = true
 
 [[revisions]]
 number = 1

diff --git a/_sources/moo/1.2.0.0.0.0.1/meta.toml b/_sources/moo/1.2.0.0.0.0.1/meta.toml
@@ -1,3 +1,2 @@
 timestamp = 2022-10-19T10:03:21Z
 github = { repo = "input-output-hk/moo", rev = "8c487714fbfdea66188fcb85053e7e292e0cc348" }
-force-version = true
diff --git a/_sources/persistent-postgresql/2.13.5.2.0.0.0.0.1/meta.toml b/_sources/persistent-postgresql/2.13.5.2.0.0.0.0.1/meta.toml
@@ -1,4 +1,3 @@
 timestamp = 2023-06-01T02:06:15Z
 github = { repo = "input-output-hk/persistent", rev = "088b3eedc5a78773a069a466729ca5e651b489ad" }
 subdir = 'persistent-postgresql'
-force-version = true
diff --git a/_sources/persistent-sqlite/2.13.1.1.0.0.0.0.1/meta.toml b/_sources/persistent-sqlite/2.13.1.1.0.0.0.0.1/meta.toml
@@ -1,4 +1,3 @@
 timestamp = 2023-06-01T02:06:06Z
 github = { repo = "input-output-hk/persistent", rev = "088b3eedc5a78773a069a466729ca5e651b489ad" }
 subdir = 'persistent-sqlite'
-force-version = true
diff --git a/_sources/persistent/2.14.5.0.0.0.0.0.1/meta.toml b/_sources/persistent/2.14.5.0.0.0.0.0.1/meta.toml
@@ -1,4 +1,3 @@
 timestamp = 2023-06-01T02:05:59Z
 github = { repo = "input-output-hk/persistent", rev = "088b3eedc5a78773a069a466729ca5e651b489ad" }
 subdir = 'persistent'
-force-version = true
diff --git a/_sources/plutus-core/1.0.0.1/meta.toml b/_sources/plutus-core/1.0.0.1/meta.toml
@@ -1,7 +1,6 @@
 timestamp = 2022-10-17T00:00:00Z
 github = { repo = "input-output-hk/plutus", rev = "d5f6f4a5505094490f61c8d164515adf7c8f46cc" }
 subdir = 'plutus-core'
-force-version = true
 
 [[revisions]]
 number = 1

diff --git a/_sources/plutus-core/1.5.0.0/meta.toml b/_sources/plutus-core/1.5.0.0/meta.toml
@@ -1,7 +1,6 @@
 timestamp = 2023-04-17T12:31:04Z
 github = { repo = "input-output-hk/plutus", rev = "cfccccc8596859bfaa992100b11199301eb6d2bd" }
 subdir = 'plutus-core'
-force-version = true
 
 [[revisions]]
 number = 1

diff --git a/_sources/plutus-ledger-api/1.0.0.1/meta.toml b/_sources/plutus-ledger-api/1.0.0.1/meta.toml
@@ -1,4 +1,3 @@
 timestamp = 2022-10-17T00:00:00Z
 github = { repo = "input-output-hk/plutus", rev = "d5f6f4a5505094490f61c8d164515adf7c8f46cc" }
 subdir = 'plutus-ledger-api'
-force-version = true
diff --git a/_sources/plutus-ledger-api/1.5.0.0/meta.toml b/_sources/plutus-ledger-api/1.5.0.0/meta.toml
@@ -1,4 +1,3 @@
 timestamp = 2023-04-17T12:31:12Z
 github = { repo = "input-output-hk/plutus", rev = "cfccccc8596859bfaa992100b11199301eb6d2bd" }
 subdir = 'plutus-ledger-api'
-force-version = true
diff --git a/_sources/plutus-tx-plugin/1.5.0.0/meta.toml b/_sources/plutus-tx-plugin/1.5.0.0/meta.toml
@@ -1,4 +1,3 @@
 timestamp = 2023-04-17T12:31:22Z
 github = { repo = "input-output-hk/plutus", rev = "cfccccc8596859bfaa992100b11199301eb6d2bd" }
 subdir = 'plutus-tx-plugin'
-force-version = true
diff --git a/_sources/plutus-tx/1.5.0.0/meta.toml b/_sources/plutus-tx/1.5.0.0/meta.toml
@@ -1,4 +1,3 @@
 timestamp = 2023-04-17T12:31:17Z
 github = { repo = "input-output-hk/plutus", rev = "cfccccc8596859bfaa992100b11199301eb6d2bd" }
 subdir = 'plutus-tx'
-force-version = true
diff --git a/_sources/protolude/0.3.3.0.0.0.0.1/meta.toml b/_sources/protolude/0.3.3.0.0.0.0.1/meta.toml
@@ -1,3 +1,2 @@
 timestamp = 2023-06-01T04:18:39Z
 github = { repo = "input-output-hk/protolude", rev = "26302ded8dc0861338f326b90e75b7413687223a" }
-force-version = true
diff --git a/_sources/servant-server/0.19.2.0.0.0.0.1/meta.toml b/_sources/servant-server/0.19.2.0.0.0.0.1/meta.toml
@@ -1,7 +1,6 @@
 timestamp = 2023-04-03T17:04:10Z
 github = { repo = "haskell-servant/servant", rev = "58aa0d1c0c19f7b1c26ffc52bfd65c70934704c9" }
 subdir = 'servant-server'
-force-version = true
 
 [[revisions]]
 number = 1

diff --git a/_sources/streaming/0.2.3.1.0.0.0.0.1/meta.toml b/_sources/streaming/0.2.3.1.0.0.0.0.1/meta.toml
@@ -1,3 +1,2 @@
 timestamp = 2023-05-31T01:47:24Z
 github = { repo = "haskell-streaming/streaming", rev = "0c815bf9043d0f0cbda92b80ef791892e2b7fb43" }
-force-version = true
diff --git a/_sources/th-extras/0.0.0.6.0.0.0.0.1/meta.toml b/_sources/th-extras/0.0.0.6.0.0.0.0.1/meta.toml
@@ -1,3 +1,2 @@
 timestamp = 2023-05-31T23:51:04Z
 github = { repo = "input-output-hk/th-extras", rev = "53e062bf2b1e3ae933262c4012cf6badc7cd5237" }
-force-version = true
diff --git a/_sources/trace-dispatcher/1.35.4/meta.toml b/_sources/trace-dispatcher/1.35.4/meta.toml
@@ -1,4 +1,3 @@
 timestamp = 2022-11-16T18:29:12Z
 github = { repo = "input-output-hk/cardano-node", rev = "ebc7be471b30e5931b35f9bbc236d21c375b91bb" }
 subdir = 'trace-dispatcher'
-force-version = true
diff --git a/_sources/trace-forward/1.35.4/meta.toml b/_sources/trace-forward/1.35.4/meta.toml
@@ -1,7 +1,6 @@
 timestamp = 2022-11-17T04:56:26Z
 github = { repo = "input-output-hk/cardano-node", rev = "ebc7be471b30e5931b35f9bbc236d21c375b91bb" }
 subdir = 'trace-forward'
-force-version = true
 
 [[revisions]]
 number = 1

diff --git a/_sources/typed-protocols-cborg/0.1.0.3.0.0.0.0.1/meta.toml b/_sources/typed-protocols-cborg/0.1.0.3.0.0.0.0.1/meta.toml
@@ -1,7 +1,6 @@
 timestamp = 2023-05-12T08:34:52Z
 github = { repo = "input-output-hk/typed-protocols", rev = "011669bda0a6ecb694be43d08ab988f75dbd3e5a" }
 subdir = 'typed-protocols-cborg'
-force-version = true
 
 [[revisions]]
 number = 1

diff --git a/_sources/typed-protocols-examples/0.2.0.1.0.0.0.0.1/meta.toml b/_sources/typed-protocols-examples/0.2.0.1.0.0.0.0.1/meta.toml
@@ -1,4 +1,3 @@
 timestamp = 2023-05-12T08:34:58Z
 github = { repo = "input-output-hk/typed-protocols", rev = "011669bda0a6ecb694be43d08ab988f75dbd3e5a" }
 subdir = 'typed-protocols-examples'
-force-version = true
diff --git a/_sources/typed-protocols/0.1.0.5.0.0.0.0.1/meta.toml b/_sources/typed-protocols/0.1.0.5.0.0.0.0.1/meta.toml
@@ -1,4 +1,3 @@
 timestamp = 2023-05-12T08:34:33Z
 github = { repo = "input-output-hk/typed-protocols", rev = "011669bda0a6ecb694be43d08ab988f75dbd3e5a" }
 subdir = 'typed-protocols'
-force-version = true
diff --git a/_sources/validation-selective/0.2.0.0.0.0.0.0.1/meta.toml b/_sources/validation-selective/0.2.0.0.0.0.0.0.1/meta.toml
@@ -1,3 +1,2 @@
 timestamp = 2023-06-01T02:00:38Z
 github = { repo = "input-output-hk/validation-selective", rev = "0e1675ec2bb0972ceff492c6b785ce43862a2784" }
-force-version = true
diff --git a/_sources/vector-algorithms/0.9.0.1.0.0.0.0.1/meta.toml b/_sources/vector-algorithms/0.9.0.1.0.0.0.0.1/meta.toml
@@ -1,6 +1,5 @@
 timestamp = 2023-04-03T17:08:55Z
 github = { repo = "erikd/vector-algorithms", rev = "e3fc242ac75d928ca613be9702ff2946011ef7d4" }
-force-version = true
 
 [[revisions]]
 number = 1

diff --git a/_sources/weigh/0.0.17.0.0.0.0.1/meta.toml b/_sources/weigh/0.0.17.0.0.0.0.1/meta.toml
@@ -1,3 +1,2 @@
 timestamp = 2023-06-01T02:09:17Z
 github = { repo = "input-output-hk/weigh", rev = "c67fb1a84e78cb1b81d078f2df9c76a6382b5e00" }
-force-version = true
diff --git a/flake.lock b/flake.lock
diff --git a/scripts/add-from-github.sh b/scripts/add-from-github.sh
@@ -66,7 +66,6 @@ render_meta() {
   local REPO_URL=$2
   local REPO_REV=$3
   local SUBDIR=$4
-  local FORCE_VERSION=$5
 
   local REPO=${REPO_URL#https://github.com/}
 
@@ -75,9 +74,6 @@ render_meta() {
   if [[ -n $SUBDIR ]]; then
     echo "subdir = '$SUBDIR'"
   fi
-  if [[ -n $FORCE_VERSION ]]; then
-    echo "force-version = true"
-  fi
 }
 
 log() {
@@ -129,7 +125,7 @@ do_package() {
   fi
 
   mkdir -p "$(dirname "$METAFILE")"
-  render_meta "$TIMESTAMP" "$REPO_URL" "$REPO_REV" "$SUBDIR" "$OVERWRITE_VERSION" > "$METAFILE"
+  render_meta "$TIMESTAMP" "$REPO_URL" "$REPO_REV" "$SUBDIR" >"$METAFILE"
   log "Written $METAFILE"
   git add "$METAFILE"
 

diff --git a/scripts/compare-package-metadata.sh b/scripts/compare-package-metadata.sh
@@ -1,6 +1,6 @@
 #!/usr/bin/env bash
 
-OLD=$(cat "$1")
+OLD=$(jq -c 'map(del(."forced-version"))' "$1")
 NEW=$(cat "$2")
 COMBINED="{ \"old\": $OLD, \"new\": $NEW }"
 

diff --git a/scripts/local-ci.sh b/scripts/local-ci.sh
@@ -22,7 +22,7 @@ build-repo()
     rm -rf "_$REF"
     mkdir -p "_$REF"
     git archive "$REF" _sources | tar -x -C "_$REF"
-    nix develop --command \
+    nix develop .?rev="$SHA" --command \
       foliage build -j 0 -v error \
         --write-metadata \
         --input-directory "_$REF/_sources" \
@@ -34,6 +34,8 @@ build-repo()
 build-repo main
 build-repo HEAD
 
+scripts/check-archive-extension.sh _{main,HEAD}/_repo/01-index.tar
+
 rm -rf _repo
 cp -a _HEAD/_repo _repo