Commits · master · Iris / opam

20 May, 2022 1 commit
- Automatic publication of dev.2022-05-20.0.a2c0212f for coq-iris-examples · 37ca1290
  Opam Update Bot authored May 20, 2022
  
  37ca1290
18 May, 2022 1 commit
- Automatic publication of dev.2022-05-18.0.bfb57e8b for coq-iris-deprecated... · ccd523d2
  Opam Update Bot authored May 18, 2022
```
Automatic publication of dev.2022-05-18.0.bfb57e8b for coq-iris-deprecated coq-iris-heap-lang coq-iris-staging coq-iris
```
  ccd523d2
17 May, 2022 10 commits
- Automatic publication of dev.2022-05-17.2.788086dd for coq-actris · ed4c8f8c
  Opam Update Bot authored May 17, 2022
  
  ed4c8f8c
- Automatic publication of dev.2022-05-17.1.5778d335 for coq-actris · 04b8bc1f
  Opam Update Bot authored May 17, 2022
  
  04b8bc1f
- Automatic publication of dev.2022-05-17.0.d81f4c48 for coq-actris · 9c6cd91e
  Opam Update Bot authored May 17, 2022
  
  9c6cd91e
- Automatic publication of dev.2022-05-17.1.56e9d264 for coq-iris-deprecated... · 0cc1e47f
  Opam Update Bot authored May 17, 2022
```
Automatic publication of dev.2022-05-17.1.56e9d264 for coq-iris-deprecated coq-iris-heap-lang coq-iris-staging coq-iris
```
  0cc1e47f
- Automatic publication of dev.2022-05-17.0.9dd4d1ea for coq-iris-deprecated... · cd7b457f
  Opam Update Bot authored May 17, 2022
```
Automatic publication of dev.2022-05-17.0.9dd4d1ea for coq-iris-deprecated coq-iris-heap-lang coq-iris-staging coq-iris
```
  cd7b457f
- Automatic publication of dev.2022-05-17.1.dd966699 for coq-gpfsl · 859a22bd
  Opam Update Bot authored May 17, 2022
  
  859a22bd
- Automatic publication of dev.2022-05-17.1.bf23703d for coq-orc11 · 752ed144
  Opam Update Bot authored May 17, 2022
  
  752ed144
- Automatic publication of dev.2022-05-17.0.572e294b for coq-orc11 · e4c341df
  Opam Update Bot authored May 17, 2022
  
  e4c341df
- Automatic publication of dev.2022-05-17.0.b3edc7ad for coq-iris-examples · 8f6fc521
  Opam Update Bot authored May 17, 2022
  
  8f6fc521
- Automatic publication of dev.2022-05-17.0.ca1ae832 for coq-gpfsl · 2e9c20a7
  Opam Update Bot authored May 17, 2022
  
  2e9c20a7
16 May, 2022 9 commits
- Automatic publication of dev.2022-05-16.1.db3dcfad for coq-iris-examples · a0f2a335
  Opam Update Bot authored May 16, 2022
  
  a0f2a335
- Automatic publication of dev.2022-05-16.2.2ce5597c for coq-iris-deprecated... · 6c3554a3
  Opam Update Bot authored May 16, 2022
```
Automatic publication of dev.2022-05-16.2.2ce5597c for coq-iris-deprecated coq-iris-heap-lang coq-iris-staging coq-iris
```
  6c3554a3
- Automatic publication of dev.2022-05-16.1.411eb445 for coq-stdpp · 6b2e1ecb
  Opam Update Bot authored May 16, 2022
  
  6b2e1ecb
- Automatic publication of dev.2022-05-16.1.1b5e1bc6 for coq-iris-deprecated... · ce61238c
  Opam Update Bot authored May 16, 2022
```
Automatic publication of dev.2022-05-16.1.1b5e1bc6 for coq-iris-deprecated coq-iris-heap-lang coq-iris-staging coq-iris
```
  ce61238c
- Automatic publication of dev.2022-05-16.0.ff2b1d90 for coq-iris-deprecated... · 73ba1756
  Opam Update Bot authored May 16, 2022
```
Automatic publication of dev.2022-05-16.0.ff2b1d90 for coq-iris-deprecated coq-iris-heap-lang coq-iris-staging coq-iris
```
  73ba1756
- Automatic publication of dev.2022-05-16.0.e7d23e65 for coq-stdpp · c2a30553
  Opam Update Bot authored May 16, 2022
  
  c2a30553
- Automatic publication of dev.2022-05-16.1.f780f022 for coq-gpfsl · d866db1c
  Opam Update Bot authored May 16, 2022
  
  d866db1c
- Automatic publication of dev.2022-05-16.0.69556864 for coq-iris-examples · d56b8b2a
  Opam Update Bot authored May 16, 2022
  
  d56b8b2a
- Automatic publication of dev.2022-05-16.0.2ce710d0 for coq-gpfsl · 5b4f5e74
  Opam Update Bot authored May 16, 2022
  
  5b4f5e74
15 May, 2022 2 commits
- Automatic publication of dev.2022-05-15.0.67fb1a52 for coq-gpfsl · 982ce157
  Opam Update Bot authored May 15, 2022
  
  982ce157
- Automatic publication of dev.2022-05-15.0.aed4b2f2 for coq-orc11 · acf430d4
  Opam Update Bot authored May 15, 2022
  
  acf430d4
14 May, 2022 1 commit
- Automatic publication of dev.2022-05-14.0.417e08d9 for coq-actris · 5a0964cc
  Opam Update Bot authored May 14, 2022
  
  5a0964cc
13 May, 2022 16 commits
- Automatic publication of dev.2022-05-13.3.6845ae42 for coq-gpfsl · 2e080612
  Opam Update Bot authored May 13, 2022
  
  2e080612
- Automatic publication of dev.2022-05-13.1.9a34f050 for coq-lithium refinedc · d2bb37f3
  Opam Update Bot authored May 13, 2022
  
  d2bb37f3
- Automatic publication of dev.2022-05-13.1.b4c075f3 for coq-iris-examples · 9d22902d
  Opam Update Bot authored May 13, 2022
  
  9d22902d
- Automatic publication of dev.2022-05-13.5.de41b20f for coq-iris-deprecated... · 5f3ca989
  Opam Update Bot authored May 13, 2022
```
Automatic publication of dev.2022-05-13.5.de41b20f for coq-iris-deprecated coq-iris-heap-lang coq-iris-staging coq-iris
```
  5f3ca989
- Automatic publication of dev.2022-05-13.2.8b17ca72 for coq-stdpp · ae2234d6
  Opam Update Bot authored May 13, 2022
  
  ae2234d6
- Automatic publication of dev.2022-05-13.2.6902a72f for coq-gpfsl · a566b93d
  Opam Update Bot authored May 13, 2022
  
  a566b93d
- Automatic publication of dev.2022-05-13.4.ab92f91e for coq-iris-deprecated... · e466508b
  Opam Update Bot authored May 13, 2022
```
Automatic publication of dev.2022-05-13.4.ab92f91e for coq-iris-deprecated coq-iris-heap-lang coq-iris-staging coq-iris
```
  e466508b
- Automatic publication of dev.2022-05-13.2.e8f58e7f for coq-orc11 · b5dc8fde
  Opam Update Bot authored May 13, 2022
  
  b5dc8fde
- Automatic publication of dev.2022-05-13.3.89f57821 for coq-iris-deprecated... · fab0d5f6
  Opam Update Bot authored May 13, 2022
```
Automatic publication of dev.2022-05-13.3.89f57821 for coq-iris-deprecated coq-iris-heap-lang coq-iris-staging coq-iris
```
  fab0d5f6
- Automatic publication of dev.2022-05-13.1.216913bd for coq-gpfsl · a91e643f
  Opam Update Bot authored May 13, 2022
  
  a91e643f
- Automatic publication of dev.2022-05-13.2.49f9097f for coq-iris-deprecated... · 0f5529c5
  Opam Update Bot authored May 13, 2022
```
Automatic publication of dev.2022-05-13.2.49f9097f for coq-iris-deprecated coq-iris-heap-lang coq-iris-staging coq-iris
```
  0f5529c5
- Automatic publication of dev.2022-05-13.1.15bb84ae for coq-orc11 · fdae855c
  Opam Update Bot authored May 13, 2022
  
  fdae855c
- Automatic publication of dev.2022-05-13.0.633fc788 for coq-actris · 63e6c52e
  Opam Update Bot authored May 13, 2022
  
  63e6c52e
- Automatic publication of dev.2022-05-13.0.6480bf00 for coq-iris-examples · df2b7e2a
  Opam Update Bot authored May 13, 2022
  
  df2b7e2a
- Automatic publication of dev.2022-05-13.1.d080eb82 for coq-iris-deprecated... · badee4b2
  Opam Update Bot authored May 13, 2022
```
Automatic publication of dev.2022-05-13.1.d080eb82 for coq-iris-deprecated coq-iris-heap-lang coq-iris-staging coq-iris
```
  badee4b2
- Automatic publication of dev.2022-05-13.1.ebb89887 for coq-stdpp · 382b1726
  Opam Update Bot authored May 13, 2022
  
  382b1726