-
Notifications
You must be signed in to change notification settings - Fork 53
/
atds.opam
82 lines (82 loc) · 2.66 KB
/
atds.opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
synopsis: "ATD Code generator for Scala"
description: "ATD Code generator for Scala"
maintainer: [
"Louis Roché <louis@louisroche.net>"
"Martin Jambon <martin@mjambon.com>"
"Rudi Grinberg <me@rgrinberg.com>"
]
authors: [
"Martin Jambon <martin@mjambon.com>"
"Rudi Grinberg <rudi.grinberg@gmail.com>"
"Martin Jambon <martin@r2c.dev>"
"Martin Jambon <github@mjambon.com>"
"Ivan Jager <aij+git@mrph.org>"
"oleksiy <oleksiy.golovko@ahrefs.com>"
"David Sheets <sheets@alum.mit.edu>"
"Rudi Grinberg <me@rgrinberg.com>"
"Martin Jambon <martin@esper.com>"
"Jeff Meister <nanaki@gmail.com>"
"Caio Wakamatsu <caio.wakamatsu@ahrefs.com>"
"Carmelo Piccione <carmelo.piccione@gmail.com>"
"Daniel Weil <danweil68@gmail.com>"
"Egor Chemokhonenko <egor.chemohonenko@ahrefs.com>"
"Gabriel Scherer <gabriel.scherer@gmail.com>"
"Raman Varabets <roman.vorobets@gmail.com>"
"tzm <frank@boldsolutions.de>"
"Mathieu Baudet <mathieubaudet@fb.com>"
"Oleksiy Golovko <alexei.golovko@gmail.com>"
"Rauan Mayemir <rauan@mayemir.io>"
"Carmelo Piccione <cep1@solvuu.com>"
"John Billings <john@monkeynut.org>"
"Louis Roché <louis@louisroche.net>"
"Brendan Long <self@brendanlong.com>"
"Chris Yocum <cyocum@gmail.com>"
"Louis Roché (Ahrefs) <louis.roche@ahrefs.com>"
"Louis Roché <louis.roche@ahrefs.com>"
"Pavel Antoshkin <pavel.antoshkin@ahrefs.com>"
"Pierre Boutillier <pierre.boutillier@laposte.net>"
"Shon Feder <shon.feder@key.me>"
"Anurag Soni <anuragsoni.13@gmail.com>"
"Arjun Ravi Narayan <arjunravinarayan@gmail.com>"
"Asya-kawai <kawai-toshiki@aintek.xyz>"
"Christophe Troestler <christophe.Troestler@umons.ac.be>"
"Damien Doligez <ddoligez@janestreet.com>"
"Daniel M <dan.mntg@gmail.com>"
"Ding Xiang Fei <dingxiangfei2009@protonmail.ch>"
"François Pottier <francois.pottier@inria.fr>"
"Javier Chavarri <javier.chavarri@gmail.com>"
"Kate <kit.ty.kate@disroot.org>"
"Louis <louis.roche@ahrefs.com>"
"Louis Roché <louis@cryptosense.com>"
"Raman Varabets <raman+git@ahrefs.com>"
"Stephane Legrand <slegrand45@gmail.com>"
"Vincent Bernardoff <vb@luminar.eu.org>"
"haoyang <haoyang@esper.co>"
"pmundkur <prashanth.mundkur@gmail.com>"
"ygrek <ygrek@autistici.org>"
]
license: "MIT"
homepage: "https://github.com/ahrefs/atd"
bug-reports: "https://github.com/ahrefs/atd/issues"
depends: [
"dune" {>= "2.8"}
"ocaml" {>= "4.08"}
"atd" {>= "2.7.0"}
"odoc" {with-doc}
]
dev-repo: "git+https://github.com/ahrefs/atd.git"
build: [
["dune" "subst"] {dev}
[
"dune"
"build"
"-p"
name
"-j"
jobs
"@install"
"@doc" {with-doc}
]
]