Commits · master · Iris / opam

26 Nov, 2021 4 commits
- Automatic publication of dev.2021-11-26.2.18dd6ca9 for coq-stdpp · 20d6dc0a
  Opam Update Bot authored Nov 26, 2021
  
  20d6dc0a
- Automatic publication of dev.2021-11-26.0.255341dd for coq-iris-deprecated... · 3c6deb12
  Opam Update Bot authored Nov 26, 2021
```
Automatic publication of dev.2021-11-26.0.255341dd for coq-iris-deprecated coq-iris-heap-lang coq-iris-staging coq-iris
```
  3c6deb12
- Automatic publication of dev.2021-11-26.1.68fc5055 for coq-stdpp · a435f5d8
  Opam Update Bot authored Nov 26, 2021
  
  a435f5d8
- Automatic publication of dev.2021-11-26.0.85d36776 for coq-stdpp · a8492b73
  Opam Update Bot authored Nov 26, 2021
  
  a8492b73
25 Nov, 2021 2 commits
- Automatic publication of dev.2021-11-25.0.febc4054 for refinedc · 7f9cd6cf
  Opam Update Bot authored Nov 25, 2021
  
  7f9cd6cf
- Automatic publication of dev.2021-11-25.0.b01aa338 for coq-iris-deprecated... · 671a297c
  Opam Update Bot authored Nov 25, 2021
```
Automatic publication of dev.2021-11-25.0.b01aa338 for coq-iris-deprecated coq-iris-heap-lang coq-iris-staging coq-iris
```
  671a297c
24 Nov, 2021 4 commits
- Automatic publication of dev.2021-11-24.1.82c4f583 for coq-stdpp · 856c9261
  Opam Update Bot authored Nov 24, 2021
  
  856c9261
- Automatic publication of dev.2021-11-24.0.c2bad317 for coq-stdpp · 2ced8105
  Opam Update Bot authored Nov 24, 2021
  
  2ced8105
- Automatic publication of dev.2021-11-24.0.e9cbc3cf for refinedc · 4ecec184
  Opam Update Bot authored Nov 24, 2021
  
  4ecec184
- Automatic publication of dev.2021-11-24.0.2d26b5e8 for coq-iris-examples · 0b0a0d4a
  Opam Update Bot authored Nov 24, 2021
  
  0b0a0d4a
23 Nov, 2021 4 commits
- Automatic publication of dev.2021-11-23.0.338fa5f1 for coq-iris-examples · efb6d34e
  Opam Update Bot authored Nov 23, 2021
  
  efb6d34e
- Automatic publication of dev.2021-11-23.0.d04dfdf4 for coq-iris-deprecated... · a8e40c1c
  Opam Update Bot authored Nov 23, 2021
```
Automatic publication of dev.2021-11-23.0.d04dfdf4 for coq-iris-deprecated coq-iris-heap-lang coq-iris-staging coq-iris
```
  a8e40c1c
- Automatic publication of dev.2021-11-23.0.f370d2fe for coq-stdpp · 3a4e78f1
  Opam Update Bot authored Nov 23, 2021
  
  3a4e78f1
- Automatic publication of dev.2021-11-23.0.74189201 for refinedc · 48cc47a0
  Opam Update Bot authored Nov 23, 2021
  
  48cc47a0
22 Nov, 2021 4 commits
- Automatic publication of dev.2021-11-22.2.f6dd81bc for coq-iris-deprecated... · 35e45712
  Opam Update Bot authored Nov 22, 2021
```
Automatic publication of dev.2021-11-22.2.f6dd81bc for coq-iris-deprecated coq-iris-heap-lang coq-iris-staging coq-iris
```
  35e45712
- Automatic publication of dev.2021-11-22.1.2fff23af for coq-iris-deprecated... · a77309dd
  Opam Update Bot authored Nov 22, 2021
```
Automatic publication of dev.2021-11-22.1.2fff23af for coq-iris-deprecated coq-iris-heap-lang coq-iris-staging coq-iris
```
  a77309dd
- Automatic publication of dev.2021-11-22.0.46d8457a for coq-iris-deprecated... · 3e651323
  Opam Update Bot authored Nov 22, 2021
```
Automatic publication of dev.2021-11-22.0.46d8457a for coq-iris-deprecated coq-iris-heap-lang coq-iris-staging coq-iris
```
  3e651323
- Automatic publication of dev.2021-11-22.0.9765b5fe for coq-stdpp · 745fa330
  Opam Update Bot authored Nov 22, 2021
  
  745fa330
19 Nov, 2021 4 commits
- Automatic publication of dev.2021-11-19.3.7b665ce0 for refinedc · 3528ed3f
  Opam Update Bot authored Nov 19, 2021
  
  3528ed3f
- Automatic publication of dev.2021-11-19.2.c1b44eaa for refinedc · 81a92eb6
  Opam Update Bot authored Nov 19, 2021
  
  81a92eb6
- Automatic publication of dev.2021-11-19.1.fcdbda03 for refinedc · 64b1943b
  Opam Update Bot authored Nov 19, 2021
  
  64b1943b
- Automatic publication of dev.2021-11-19.0.bfd56995 for refinedc · 49a2c52d
  Opam Update Bot authored Nov 19, 2021
  
  49a2c52d
18 Nov, 2021 2 commits
- Automatic publication of dev.2021-11-18.1.a7432a23 for coq-gpfsl · 27d96995
  Opam Update Bot authored Nov 18, 2021
  
  27d96995
- Automatic publication of dev.2021-11-18.0.e2b88d64 for coq-gpfsl · 25d4a2b5
  Opam Update Bot authored Nov 18, 2021
  
  25d4a2b5
17 Nov, 2021 3 commits
- Automatic publication of dev.2021-11-17.2.9da8555a for refinedc · a73fcc46
  Opam Update Bot authored Nov 17, 2021
  
  a73fcc46
- Automatic publication of dev.2021-11-17.1.b20b6026 for refinedc · 79d5439d
  Opam Update Bot authored Nov 17, 2021
  
  79d5439d
- Automatic publication of dev.2021-11-17.0.a150e592 for refinedc · 42207bf5
  Opam Update Bot authored Nov 17, 2021
  
  42207bf5
16 Nov, 2021 6 commits
- Automatic publication of dev.2021-11-16.2.3982e4ea for coq-iris-deprecated... · 99eb2193
  Opam Update Bot authored Nov 16, 2021
```
Automatic publication of dev.2021-11-16.2.3982e4ea for coq-iris-deprecated coq-iris-heap-lang coq-iris-staging coq-iris
```
  99eb2193
- Automatic publication of dev.2021-11-16.1.afa87d25 for coq-iris-deprecated... · 0cb8c811
  Opam Update Bot authored Nov 16, 2021
```
Automatic publication of dev.2021-11-16.1.afa87d25 for coq-iris-deprecated coq-iris-heap-lang coq-iris-staging coq-iris
```
  0cb8c811
- sync autosubst package with coq extra-dev · 28df8b2c
  Ralf Jung authored Nov 15, 2021
  
  28df8b2c
- Automatic publication of dev.2021-11-16.1.bb946806 for coq-iris-examples · e28300fe
  Opam Update Bot authored Nov 16, 2021
  
  e28300fe
- Automatic publication of dev.2021-11-16.0.ff3cf284 for coq-iris-deprecated... · 2a9b0b5d
  Opam Update Bot authored Nov 16, 2021
```
Automatic publication of dev.2021-11-16.0.ff3cf284 for coq-iris-deprecated coq-iris-heap-lang coq-iris-staging coq-iris
```
  2a9b0b5d
- Automatic publication of dev.2021-11-16.0.ec3dadb8 for coq-iris-examples · a5fc18d5
  Opam Update Bot authored Nov 16, 2021
  
  a5fc18d5
15 Nov, 2021 4 commits
- Automatic publication of dev.2021-11-15.1.f0df9142 for coq-iris-deprecated... · 78b93ff4
  Opam Update Bot authored Nov 15, 2021
```
Automatic publication of dev.2021-11-15.1.f0df9142 for coq-iris-deprecated coq-iris-heap-lang coq-iris-staging coq-iris
```
  78b93ff4
- Automatic publication of dev.2021-11-15.1.564dc692 for coq-stdpp · 9cf344b4
  Opam Update Bot authored Nov 15, 2021
  
  9cf344b4
- Automatic publication of dev.2021-11-15.0.d856d6ea for coq-stdpp · 4d88556b
  Opam Update Bot authored Nov 15, 2021
  
  4d88556b
- Automatic publication of dev.2021-11-15.0.25469570 for coq-iris-deprecated... · 0d847625
  Opam Update Bot authored Nov 15, 2021
```
Automatic publication of dev.2021-11-15.0.25469570 for coq-iris-deprecated coq-iris-heap-lang coq-iris-staging coq-iris
```
  0d847625
13 Nov, 2021 3 commits
- Automatic publication of dev.2021-11-13.0.39e6cc58 for coq-iris-examples · 57119f4c
  Opam Update Bot authored Nov 13, 2021
  
  57119f4c
- Automatic publication of dev.2021-11-13.0.f1e2242d for coq-iris-deprecated... · 3fe483fb
  Opam Update Bot authored Nov 13, 2021
```
Automatic publication of dev.2021-11-13.0.f1e2242d for coq-iris-deprecated coq-iris-heap-lang coq-iris-staging coq-iris
```
  3fe483fb
- Automatic publication of dev.2021-11-13.0.4df62327 for coq-stdpp · b041b506
  Opam Update Bot authored Nov 13, 2021
  
  b041b506