this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Python/mypy code generation for ATD APIs"
3description: "Python/mypy code generation for ATD APIs"
4maintainer: [
5 "Louis Roché <louis@louisroche.net>"
6 "Martin Jambon <martin@mjambon.com>"
7 "Rudi Grinberg <me@rgrinberg.com>"
8]
9authors: [
10 "Martin Jambon <martin@mjambon.com>"
11 "Rudi Grinberg <rudi.grinberg@gmail.com>"
12 "Martin Jambon <martin@r2c.dev>"
13 "Martin Jambon <github@mjambon.com>"
14 "Ivan Jager <aij+git@mrph.org>"
15 "oleksiy <oleksiy.golovko@ahrefs.com>"
16 "David Sheets <sheets@alum.mit.edu>"
17 "Rudi Grinberg <me@rgrinberg.com>"
18 "Martin Jambon <martin@esper.com>"
19 "Jeff Meister <nanaki@gmail.com>"
20 "Caio Wakamatsu <caio.wakamatsu@ahrefs.com>"
21 "Carmelo Piccione <carmelo.piccione@gmail.com>"
22 "Daniel Weil <danweil68@gmail.com>"
23 "Egor Chemokhonenko <egor.chemohonenko@ahrefs.com>"
24 "Gabriel Scherer <gabriel.scherer@gmail.com>"
25 "Raman Varabets <roman.vorobets@gmail.com>"
26 "tzm <frank@boldsolutions.de>"
27 "Mathieu Baudet <mathieubaudet@fb.com>"
28 "Oleksiy Golovko <alexei.golovko@gmail.com>"
29 "Rauan Mayemir <rauan@mayemir.io>"
30 "Carmelo Piccione <cep1@solvuu.com>"
31 "John Billings <john@monkeynut.org>"
32 "Louis Roché <louis@louisroche.net>"
33 "Brendan Long <self@brendanlong.com>"
34 "Chris Yocum <cyocum@gmail.com>"
35 "Louis Roché (Ahrefs) <louis.roche@ahrefs.com>"
36 "Louis Roché <louis.roche@ahrefs.com>"
37 "Pavel Antoshkin <pavel.antoshkin@ahrefs.com>"
38 "Pierre Boutillier <pierre.boutillier@laposte.net>"
39 "Shon Feder <shon.feder@key.me>"
40 "Anurag Soni <anuragsoni.13@gmail.com>"
41 "Arjun Ravi Narayan <arjunravinarayan@gmail.com>"
42 "Asya-kawai <kawai-toshiki@aintek.xyz>"
43 "Christophe Troestler <christophe.Troestler@umons.ac.be>"
44 "Damien Doligez <ddoligez@janestreet.com>"
45 "Daniel M <dan.mntg@gmail.com>"
46 "Ding Xiang Fei <dingxiangfei2009@protonmail.ch>"
47 "François Pottier <francois.pottier@inria.fr>"
48 "Javier Chavarri <javier.chavarri@gmail.com>"
49 "Kate <kit.ty.kate@disroot.org>"
50 "Louis <louis.roche@ahrefs.com>"
51 "Louis Roché <louis@cryptosense.com>"
52 "Raman Varabets <raman+git@ahrefs.com>"
53 "Stephane Legrand <slegrand45@gmail.com>"
54 "Vincent Bernardoff <vb@luminar.eu.org>"
55 "haoyang <haoyang@esper.co>"
56 "pmundkur <prashanth.mundkur@gmail.com>"
57 "ygrek <ygrek@autistici.org>"
58]
59license: "MIT"
60homepage: "https://github.com/ahrefs/atd"
61bug-reports: "https://github.com/ahrefs/atd/issues"
62depends: [
63 "dune" {>= "2.8"}
64 "ocaml" {>= "4.08"}
65 "atd" {>= "2.7.0" & < "2.10.0"}
66 "cmdliner" {>= "1.1.0"}
67 "re"
68 "alcotest" {with-test}
69 "conf-python-3" {with-test}
70 "odoc" {with-doc}
71]
72dev-repo: "git+https://github.com/ahrefs/atd.git"
73build: [
74 ["dune" "subst"] {dev}
75 [
76 "dune"
77 "build"
78 "-p"
79 name
80 "-j"
81 jobs
82 "@install"
83 "@doc" {with-doc}
84 ]
85]
86url {
87 src:
88 "https://github.com/ahrefs/atd/releases/download/2.9.1/atdts-2.9.1.tbz"
89 checksum: [
90 "sha256=39dc1a511d08c743b3f0d0e6dfa9c8caf211cc5fabfe92a089e8f57e170e9ae4"
91 "sha512=2149ddc53703a8c4c01c5571125ba66cce7305fac332357acfda36a44a67a7c9df2a0322cb05682fed3656067c26cdbe2e50071db5b2e5233abc1cfcf103e34e"
92 ]
93}
94x-commit-hash: "31799bf3955b11d8d9c12334cb65e7609927e09c"