Commits · master · Iris / opam · GitLab

Dec 13, 2025
- Automatic publication of dev.2025-12-13.0.0d428c41 for coq-actris · 8b7db2d5
  Opam Update Bot authored Dec 13, 2025
  
  8b7db2d5
- Automatic publication of dev.2025-12-13.2.5df2c686 for rocq-iris-deprecated... · a8a918bb
  Opam Update Bot authored Dec 13, 2025
  a8a918bb
- Automatic publication of dev.2025-12-13.1.819654ab for coq-gpfsl · 6928acc0
  Opam Update Bot authored Dec 13, 2025
  
  6928acc0
- Automatic publication of dev.2025-12-13.5.3c923278 for rocq-stdpp-bitvector... · 6cf5f128
  Opam Update Bot authored Dec 13, 2025
  6cf5f128
- Automatic publication of dev.2025-12-13.1.8c88a8b3 for coq-lambda-rust coq-lifetime-logic · 40a6c670
  Opam Update Bot authored Dec 13, 2025
  
  40a6c670
- Automatic publication of dev.2025-12-13.0.9b220b64 for coq-gpfsl · 31b0198e
  Opam Update Bot authored Dec 13, 2025
  
  31b0198e
- Automatic publication of dev.2025-12-13.0.abb095b6 for coq-lambda-rust coq-lifetime-logic · 4c48e6f7
  Opam Update Bot authored Dec 13, 2025
  
  4c48e6f7
- Automatic publication of dev.2025-12-13.1.add72622 for rocq-iris-deprecated... · 26437d0b
  Opam Update Bot authored Dec 13, 2025
  26437d0b
- Automatic publication of dev.2025-12-13.4.e452f702 for rocq-stdpp-bitvector... · 2f001edd
  Opam Update Bot authored Dec 13, 2025
  2f001edd
- Automatic publication of dev.2025-12-13.3.9a8dd80e for rocq-stdpp-bitvector... · 6e46cceb
  Opam Update Bot authored Dec 13, 2025
  6e46cceb
- Automatic publication of dev.2025-12-13.0.e0522a81 for rocq-iris-deprecated... · 81148611
  Opam Update Bot authored Dec 13, 2025
  81148611
- Automatic publication of dev.2025-12-13.2.365b2c5b for rocq-stdpp-bitvector... · 6959836a
  Opam Update Bot authored Dec 13, 2025
  6959836a
- Automatic publication of dev.2025-12-13.1.a417a94f for rocq-stdpp-bitvector... · 4ec696f3
  Opam Update Bot authored Dec 13, 2025
  4ec696f3
- Automatic publication of dev.2025-12-13.0.d41858f7 for rocq-stdpp-bitvector... · d0e071a7
  Opam Update Bot authored Dec 13, 2025
  d0e071a7
Dec 12, 2025
- Automatic publication of dev.2025-12-12.3.3fd2a0b4 for rocq-stdpp-bitvector... · 8aee5182
  Opam Update Bot authored Dec 12, 2025
  8aee5182
- Automatic publication of dev.2025-12-12.4.4b2083ff for rocq-iris-deprecated... · 21d8edc7
  Opam Update Bot authored Dec 12, 2025
  21d8edc7
- Automatic publication of dev.2025-12-12.2.4a2b79da for coq-iris-examples · 9b78322e
  Opam Update Bot authored Dec 12, 2025
  
  9b78322e
- Automatic publication of dev.2025-12-12.1.34be22f2 for coq-iris-examples · ae750305
  Opam Update Bot authored Dec 12, 2025
  
  ae750305
- Automatic publication of dev.2025-12-12.3.14294791 for rocq-iris-deprecated... · a1bea076
  Opam Update Bot authored Dec 12, 2025
  a1bea076
- Automatic publication of dev.2025-12-12.2.c63cdd46 for rocq-iris-deprecated... · 8a1a42da
  Opam Update Bot authored Dec 12, 2025
  8a1a42da
- Automatic publication of dev.2025-12-12.2.cb0d512b for rocq-stdpp-bitvector... · 156a6a33
  Opam Update Bot authored Dec 12, 2025
  156a6a33
- Automatic publication of dev.2025-12-12.0.b1c34ee3 for coq-iris-examples · 6d4c97be
  Opam Update Bot authored Dec 12, 2025
  
  6d4c97be
- Automatic publication of dev.2025-12-12.1.7f8215ac for rocq-iris-deprecated... · 33de8cb4
  Opam Update Bot authored Dec 12, 2025
  33de8cb4
- Automatic publication of dev.2025-12-12.0.05053a62 for rocq-iris-deprecated... · c49943a2
  Opam Update Bot authored Dec 12, 2025
  c49943a2
- Automatic publication of dev.2025-12-12.1.a9c9408f for rocq-stdpp-bitvector... · f82b8e8d
  Opam Update Bot authored Dec 12, 2025
  f82b8e8d
- Automatic publication of dev.2025-12-12.0.6fd2a5ad for rocq-stdpp-bitvector... · 0943b972
  Opam Update Bot authored Dec 12, 2025
  0943b972
Dec 10, 2025
- pin a newer dune · 6cba87f8
  Ralf Jung authored Dec 10, 2025
  
  6cba87f8
Dec 09, 2025
- Automatic publication of dev.2025-12-09.0.9998e764 for coq-actris · 5470fbfd
  Opam Update Bot authored Dec 09, 2025
  
  5470fbfd
Dec 04, 2025
- Automatic publication of dev.2025-12-04.0.846ed45b for rocq-iris-deprecated... · ad2746a2
  Opam Update Bot authored Dec 04, 2025
  ad2746a2
- Automatic publication of dev.2025-12-04.0.54136389 for rocq-stdpp-bitvector... · 545ae4cb
  Opam Update Bot authored Dec 04, 2025
  545ae4cb
Dec 02, 2025
- Automatic publication of dev.2025-12-02.0.5357e3d1 for coq-diaframe-heap-lang... · a125d45e
  Opam Update Bot authored Dec 02, 2025
  a125d45e
- Automatic publication of dev.2025-12-02.3.a09c2a19 for rocq-stdpp-bitvector... · e316365d
  Opam Update Bot authored Dec 02, 2025
  e316365d
- Automatic publication of dev.2025-12-02.2.2c6591f1 for rocq-stdpp-bitvector... · 33c82f50
  Opam Update Bot authored Dec 02, 2025
  33c82f50
- Automatic publication of dev.2025-12-02.1.ed2ba38a for rocq-stdpp-bitvector... · fbf56fab
  Opam Update Bot authored Dec 02, 2025
  fbf56fab
- Automatic publication of dev.2025-12-02.0.9c4a27ee for rocq-stdpp-bitvector... · 0e5ba44a
  Opam Update Bot authored Dec 02, 2025
  0e5ba44a
Dec 01, 2025
- Automatic publication of dev.2025-12-01.1.cbb4ca4c for coq-diaframe-heap-lang... · 64a43621
  Opam Update Bot authored Dec 01, 2025
  64a43621
- Automatic publication of dev.2025-12-01.0.db8c0b52 for coq-gpfsl · 64b7d6ae
  Opam Update Bot authored Dec 01, 2025
  
  64b7d6ae
- Automatic publication of dev.2025-12-01.0.e28e6974 for coq-diaframe-heap-lang... · a4a65672
  Opam Update Bot authored Dec 01, 2025
  a4a65672
Nov 30, 2025
- Automatic publication of dev.2025-11-30.1.b7b8de23 for coq-diaframe-heap-lang... · fa10b432
  Opam Update Bot authored Nov 30, 2025
  fa10b432
- Automatic publication of dev.2025-11-30.0.90ff04b6 for coq-diaframe-heap-lang... · 3d85fc04
  Opam Update Bot authored Nov 30, 2025
  3d85fc04