this repo has no description
0
fork

Configure Feed

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

Merge pull request #25292 from mseri/prbnmcn-dagger-stats

prbnmcn-dagger-stats upper bounds

authored by

Marcello Seri and committed by
GitHub
1604271e cf247597

+2 -2
+1 -1
packages/prbnmcn-dagger-stats/prbnmcn-dagger-stats.0.0.3/opam
··· 11 11 depends: [ 12 12 "dune" {>= "2.8"} 13 13 "prbnmcn-dagger" {= version} 14 - "prbnmcn-stats" {>= "0.0.7"} 14 + "prbnmcn-stats" {>= "0.0.7" & < "0.0.8"} 15 15 "odoc" {with-doc} 16 16 ] 17 17 build: [
+1 -1
packages/prbnmcn-dagger-stats/prbnmcn-dagger-stats.0.0.4/opam
··· 11 11 depends: [ 12 12 "dune" {>= "2.8"} 13 13 "prbnmcn-dagger" {= version} 14 - "prbnmcn-stats" {>= "0.0.7"} 14 + "prbnmcn-stats" {>= "0.0.7" & < "0.0.8"} 15 15 "odoc" {with-doc} 16 16 ] 17 17 build: [