Commits · master · Iris / opam · GitLab

Apr 16, 2026
- Automatic publication of dev.2026-04-16.0.69f4e8de for coq-gpfsl · cd240355
  Opam Update Bot authored Apr 16, 2026
  
  cd240355
- Automatic publication of dev.2026-04-16.0.601ae651 for coq-lambda-rust coq-lifetime-logic · d904a145
  Opam Update Bot authored Apr 16, 2026
  
  d904a145
- Automatic publication of dev.2026-04-16.0.f77a8e5a for rocq-iris-examples · 00fac442
  Opam Update Bot authored Apr 16, 2026
  
  00fac442
Apr 15, 2026
- Automatic publication of dev.2026-04-15.0.430d8530 for rocq-iris-contrib · 9a870a4b
  Opam Update Bot authored Apr 15, 2026
  
  9a870a4b
- Automatic publication of dev.2026-04-15.0.3cb10050 for rocq-iris-deprecated... · 5c140e96
  Opam Update Bot authored Apr 15, 2026
  5c140e96
Apr 11, 2026
- Automatic publication of dev.2026-04-11.0.128daf96 for coq-gpfsl · 71be4428
  Opam Update Bot authored Apr 11, 2026
  
  71be4428
- Automatic publication of dev.2026-04-11.0.5a433d66 for coq-lambda-rust coq-lifetime-logic · 54efa5c2
  Opam Update Bot authored Apr 11, 2026
  
  54efa5c2
- Automatic publication of dev.2026-04-11.0.cef9daf4 for rocq-iris-examples · 517e92fc
  Opam Update Bot authored Apr 11, 2026
  
  517e92fc
Apr 10, 2026
- Automatic publication of dev.2026-04-10.0.c6e513aa for rocq-iris-contrib · 26d8023c
  Opam Update Bot authored Apr 10, 2026
  
  26d8023c
- Automatic publication of dev.2026-04-10.2.ad2f70c4 for rocq-iris-deprecated... · f921de49
  Opam Update Bot authored Apr 10, 2026
  f921de49
- Automatic publication of dev.2026-04-10.1.2e56ce1f for rocq-iris-deprecated... · 1acc55a3
  Opam Update Bot authored Apr 10, 2026
  1acc55a3
- Automatic publication of dev.2026-04-10.0.c3cf6ce9 for rocq-iris-deprecated... · ffb1ba1c
  Opam Update Bot authored Apr 10, 2026
  ffb1ba1c
Apr 09, 2026
- Automatic publication of dev.2026-04-09.1.0894e54d for rocq-iris-contrib · 5b758d81
  Opam Update Bot authored Apr 09, 2026
  
  5b758d81
- Automatic publication of dev.2026-04-09.2.90729db2 for rocq-stdpp-bitvector... · 84fad926
  Opam Update Bot authored Apr 09, 2026
  84fad926
- Automatic publication of dev.2026-04-09.0.da9d543e for... · 2d04eb69
  Opam Update Bot authored Apr 09, 2026
  2d04eb69
- Automatic publication of dev.2026-04-09.0.809f2003 for rocq-iris-contrib · e5ad89c8
  Opam Update Bot authored Apr 09, 2026
  
  e5ad89c8
- Automatic publication of dev.2026-04-09.1.827a61b3 for rocq-stdpp-bitvector... · ebd43457
  Opam Update Bot authored Apr 09, 2026
  ebd43457
- Automatic publication of dev.2026-04-09.0.6fb2db12 for rocq-stdpp-bitvector... · 954f2f40
  Opam Update Bot authored Apr 09, 2026
  954f2f40
- Automatic publication of dev.2026-04-09.0.b19f2ee2 for coq-gpfsl · f8bbe65f
  Opam Update Bot authored Apr 09, 2026
  
  f8bbe65f
- Automatic publication of dev.2026-04-09.0.2d20dc5d for coq-lambda-rust coq-lifetime-logic · c3002580
  Opam Update Bot authored Apr 09, 2026
  
  c3002580
- Automatic publication of dev.2026-04-09.0.c7c936ef for rocq-iris-examples · e3a67c90
  Opam Update Bot authored Apr 09, 2026
  
  e3a67c90
- Automatic publication of dev.2026-04-09.0.b0482dbb for rocq-iris-deprecated... · becb3063
  Opam Update Bot authored Apr 09, 2026
  becb3063
Apr 08, 2026
- Automatic publication of dev.2026-04-08.1.090bbb45 for rocq-iris-contrib · 41f18b28
  Opam Update Bot authored Apr 08, 2026
  
  41f18b28
- Automatic publication of dev.2026-04-08.2.b440720a for rocq-iris-deprecated... · a45b4fe6
  Opam Update Bot authored Apr 08, 2026
  a45b4fe6
- Automatic publication of dev.2026-04-08.1.3aa7ac9e for rocq-iris-deprecated... · 74b7065d
  Opam Update Bot authored Apr 08, 2026
  74b7065d
- Automatic publication of dev.2026-04-08.4.c18abef2 for rocq-stdpp-bitvector... · f6e2f9c0
  Opam Update Bot authored Apr 08, 2026
  f6e2f9c0
- Automatic publication of dev.2026-04-08.3.95659e4a for rocq-stdpp-bitvector... · 102d42aa
  Opam Update Bot authored Apr 08, 2026
  102d42aa
- Automatic publication of dev.2026-04-08.2.6f4edfd6 for rocq-stdpp-bitvector... · 57a8c6ff
  Opam Update Bot authored Apr 08, 2026
  57a8c6ff
- Automatic publication of dev.2026-04-08.0.687ddeef for rocq-iris-examples · 15245264
  Opam Update Bot authored Apr 08, 2026
  
  15245264
- Automatic publication of dev.2026-04-08.1.51b687d0 for rocq-stdpp-bitvector... · bc330191
  Opam Update Bot authored Apr 08, 2026
  bc330191
- autosubst: allow mixing different rocq and stdlib versions · f80fd873
  Ralf Jung authored Apr 08, 2026
  
  f80fd873
- Automatic publication of dev.2026-04-08.0.8711363e for rocq-iris-contrib · 508e7e48
  Opam Update Bot authored Apr 08, 2026
  
  508e7e48
- Automatic publication of dev.2026-04-08.0.72ac8a41 for rocq-stdpp-bitvector... · 957aee83
  Opam Update Bot authored Apr 08, 2026
  957aee83
- Automatic publication of dev.2026-04-08.0.a43871c3 for rocq-iris-deprecated... · 5fb464d6
  Opam Update Bot authored Apr 08, 2026
  5fb464d6
Apr 07, 2026
- Automatic publication of dev.2026-04-07.2.b8c8a08d for rocq-iris-deprecated... · c9918443
  Opam Update Bot authored Apr 07, 2026
  c9918443
- Automatic publication of dev.2026-04-07.1.6a5f7f03 for rocq-iris-deprecated... · 22737307
  Opam Update Bot authored Apr 07, 2026
  22737307
- Automatic publication of dev.2026-04-07.2.c16f0e81 for rocq-stdpp-bitvector... · 094c8baf
  Opam Update Bot authored Apr 07, 2026
  094c8baf
- Automatic publication of dev.2026-04-07.1.5487f250 for rocq-stdpp-bitvector... · ce92fe39
  Opam Update Bot authored Apr 07, 2026
  ce92fe39
- Automatic publication of dev.2026-04-07.0.c7d73ee3 for rocq-stdpp-bitvector... · f26c8436
  Opam Update Bot authored Apr 07, 2026
  f26c8436
- Automatic publication of dev.2026-04-07.0.46b9b83d for coq-gpfsl · 8c3efe11
  Opam Update Bot authored Apr 07, 2026
  
  8c3efe11