this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Active DVI Dune package!"
3description: """
4Active-DVI is a DVI previewer and presenter written in OCaml with some eye
5candy effects for presentation, support for interactive demonstrations, and
6embedding of arbitrary applications within the presentation.
7
8Active-DVI is well suited for use in combination with WhizzyTeX
9(http://cristal.inria.fr/whizzytex/)
10"""
11maintainer: ["Didier Rémy <Didier.Remy@inria.fr>"]
12authors: [
13 "Alexandre Miquel"
14 "Jun Furuse"
15 "Didier Rémy"
16 "Pierre Weis"
17 "Xavier Leroy"
18 "Roberto Di Cosmo"
19 "Didier Le Botlan"
20 "Alan Schmitt"
21]
22license: "LGPL-2.1-or-later"
23homepage: "http://advi.inria.fr"
24dev-repo: "git+https://github.com/diremy/advi.git"
25doc: "http://advi.inria.fr"
26bug-reports: "Didier.Remy@inria.fr"
27depends: [
28 "ocaml" {>= "4.11.1" & < "5.0"}
29 "dune" {>= "2.5"}
30 "graphics" {>= "5.1.1"}
31 "camlimages" {>= "5.0.4"}
32 "conf-texlive" {build}
33 "conf-ghostscript" {build}
34 "conf-which" {build}
35]
36build: [
37 ["dune" "subst"] {dev}
38 [ make ]
39]
40install: [ make "install" ]
41post-messages: [
42"This only installed the 'advi' command. To benefit from advanced features
43of advi you also need to install additional latex source files. To see how
44to do so, run the command 'advi-latex-files --install help'. "
45]
46url {
47 src: "https://github.com/diremy/advi/archive/advi-2.0.0.tar.gz"
48 checksum: [
49 "md5=c18e0a393befc87ba449adadaefa87a8"
50 "sha512=a88d24e864f8f69f6b2bb0f0f494aadb8e16b32543e532f23d44a0baae3df25bbb7bfe96148089e8b7a871b647b2186a71238c278ea49bf08151afeb9142940b"
51 ]
52}