anil.recoil.org / opam-repository
this repo has no description
0
fork

Configure Feed

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

Update packages/areas-and-adversaries/areas-and-adversaries.1.0/opam

authored by

Raphaël Proust and committed by
GitHub 9cb65085 079a05c4

+1 -1
+1 -1
packages/areas-and-adversaries/areas-and-adversaries.1.0/opam
··· 9 9 maintainer: [ "Raphaël Proust <code@bnwr.net>" ] 10 10 dev-repo: "git+https://gitlab.com/raphael-proust/areas-and-adversaries.git" 11 11 depends: [ 12 - "ocaml" {>= "4.14.0"} 12 + "ocaml" {>= "5.1.0"} 13 13 "cmdliner" {>= "1.2.0"} 14 14 "astring" {>= "0.8"} 15 15 ]