this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #27083 from hannesm/miou-deprecate

miou beta releases: mark as deprecated

authored by

Marcello Seri and committed by
GitHub
3487ffb0 400fbb0a

+2 -1
+1 -1
packages/miou/miou.0.0.1~beta1/opam
··· 25 25 "dns-client" {with-test} 26 26 ] 27 27 available: opam-version >= "2.1.0" 28 - flags: avoid-version 28 + flags: deprecated 29 29 url { 30 30 src: 31 31 "https://github.com/robur-coop/miou/releases/download/v0.0.1_beta1/miou-0.0.1.beta1.tbz"
+1
packages/miou/miou.0.0.1~beta2/opam
··· 24 24 "dns" {with-test} 25 25 "dns-client" {with-test} 26 26 ] 27 + flags: deprecated 27 28 url { 28 29 src: 29 30 "https://github.com/robur-coop/miou/releases/download/v0.0.1_beta2/miou-0.0.1.beta2.tbz"