diff options
Diffstat (limited to 'META.coq')
| -rw-r--r-- | META.coq | 128 |
1 files changed, 56 insertions, 72 deletions
@@ -1,15 +1,27 @@ # TODO: Generate automatically with Dune description = "The Coq Proof Assistant Plugin API" -version = "8.8" +version = "8.9" directory = "" requires = "camlp5" +package "grammar" ( + + description = "Coq Camlp5 Grammar Extensions for Plugins" + version = "8.9" + + requires = "camlp5.gramlib" + directory = "grammar" + + archive(byte) = "grammar.cma" + archive(native) = "grammar.cmxa" +) + package "config" ( description = "Coq Configuration Variables" - version = "8.8" + version = "8.9" directory = "config" @@ -17,7 +29,7 @@ package "config" ( package "clib" ( description = "Base General Coq Library" - version = "8.8" + version = "8.9" directory = "clib" requires = "num, str, unix, threads" @@ -29,7 +41,7 @@ package "clib" ( package "lib" ( description = "Base Coq-Specific Library" - version = "8.8" + version = "8.9" directory = "lib" @@ -43,7 +55,7 @@ package "lib" ( package "vm" ( description = "Coq VM" - version = "8.8" + version = "8.9" directory = "kernel/byterun" @@ -57,15 +69,12 @@ package "vm" ( # We currently prefer static linking of the VM. archive(byte) = "libcoqrun.a" linkopts(byte) = "-custom" - - linkopts(native) = "-cclib -lcoqrun" - ) package "kernel" ( description = "Coq's Kernel" - version = "8.8" + version = "8.9" directory = "kernel" @@ -79,7 +88,7 @@ package "kernel" ( package "library" ( description = "Coq Libraries (vo) support" - version = "8.8" + version = "8.9" requires = "coq.kernel" @@ -90,23 +99,10 @@ package "library" ( ) -package "intf" ( - - description = "Coq Public Data Types" - version = "8.8" - - requires = "coq.library" - - directory = "intf" - - archive(byte) = "intf.cma" - archive(native) = "intf.cmxa" -) - package "engine" ( description = "Coq Tactic Engine" - version = "8.8" + version = "8.9" requires = "coq.library" directory = "engine" @@ -119,7 +115,7 @@ package "engine" ( package "pretyping" ( description = "Coq Pretyper" - version = "8.8" + version = "8.9" requires = "coq.engine" directory = "pretyping" @@ -132,7 +128,7 @@ package "pretyping" ( package "interp" ( description = "Coq Term Interpretation" - version = "8.8" + version = "8.9" requires = "coq.pretyping" directory = "interp" @@ -142,22 +138,10 @@ package "interp" ( ) -package "grammar" ( - - description = "Coq Base Grammar" - version = "8.8" - - requires = "coq.interp" - directory = "grammar" - - archive(byte) = "grammar.cma" - archive(native) = "grammar.cmxa" -) - package "proofs" ( description = "Coq Proof Engine" - version = "8.8" + version = "8.9" requires = "coq.interp" directory = "proofs" @@ -170,7 +154,7 @@ package "proofs" ( package "parsing" ( description = "Coq Parsing Engine" - version = "8.8" + version = "8.9" requires = "camlp5.gramlib, coq.proofs" directory = "parsing" @@ -183,7 +167,7 @@ package "parsing" ( package "printing" ( description = "Coq Printing Engine" - version = "8.8" + version = "8.9" requires = "coq.parsing" directory = "printing" @@ -196,7 +180,7 @@ package "printing" ( package "tactics" ( description = "Coq Basic Tactics" - version = "8.8" + version = "8.9" requires = "coq.printing" directory = "tactics" @@ -209,7 +193,7 @@ package "tactics" ( package "vernac" ( description = "Coq Vernacular Interpreter" - version = "8.8" + version = "8.9" requires = "coq.tactics" directory = "vernac" @@ -222,7 +206,7 @@ package "vernac" ( package "stm" ( description = "Coq State Transactional Machine" - version = "8.8" + version = "8.9" requires = "coq.vernac" directory = "stm" @@ -235,7 +219,7 @@ package "stm" ( package "toplevel" ( description = "Coq Toplevel" - version = "8.8" + version = "8.9" requires = "coq.stm" directory = "toplevel" @@ -248,7 +232,7 @@ package "toplevel" ( package "idetop" ( description = "Coq IDE Libraries" - version = "8.8" + version = "8.9" requires = "coq.toplevel" directory = "ide" @@ -262,7 +246,7 @@ package "idetop" ( package "ide" ( description = "Coq IDE Libraries" - version = "8.8" + version = "8.9" # XXX Add GTK requires = "coq.toplevel" @@ -276,14 +260,14 @@ package "ide" ( package "plugins" ( description = "Coq built-in plugins" - version = "8.8" + version = "8.9" directory = "plugins" package "ltac" ( description = "Coq LTAC Plugin" - version = "8.8" + version = "8.9" requires = "coq.stm" directory = "ltac" @@ -296,7 +280,7 @@ package "plugins" ( package "tauto" ( description = "Coq tauto plugin" - version = "8.8" + version = "8.9" requires = "coq.plugins.ltac" directory = "ltac" @@ -308,7 +292,7 @@ package "plugins" ( package "omega" ( description = "Coq omega plugin" - version = "8.8" + version = "8.9" requires = "coq.plugins.ltac" directory = "omega" @@ -320,7 +304,7 @@ package "plugins" ( package "romega" ( description = "Coq romega plugin" - version = "8.8" + version = "8.9" requires = "coq.plugins.omega" directory = "romega" @@ -332,7 +316,7 @@ package "plugins" ( package "micromega" ( description = "Coq micromega plugin" - version = "8.8" + version = "8.9" requires = "num,coq.plugins.ltac" directory = "micromega" @@ -344,7 +328,7 @@ package "plugins" ( package "quote" ( description = "Coq quote plugin" - version = "8.8" + version = "8.9" requires = "coq.plugins.ltac" directory = "quote" @@ -356,7 +340,7 @@ package "plugins" ( package "newring" ( description = "Coq newring plugin" - version = "8.8" + version = "8.9" requires = "coq.plugins.quote" directory = "setoid_ring" @@ -368,7 +352,7 @@ package "plugins" ( package "fourier" ( description = "Coq fourier plugin" - version = "8.8" + version = "8.9" requires = "coq.plugins.ltac" directory = "fourier" @@ -380,7 +364,7 @@ package "plugins" ( package "extraction" ( description = "Coq extraction plugin" - version = "8.8" + version = "8.9" requires = "coq.plugins.ltac" directory = "extraction" @@ -392,7 +376,7 @@ package "plugins" ( package "cc" ( description = "Coq cc plugin" - version = "8.8" + version = "8.9" requires = "coq.plugins.ltac" directory = "cc" @@ -404,7 +388,7 @@ package "plugins" ( package "ground" ( description = "Coq ground plugin" - version = "8.8" + version = "8.9" requires = "coq.plugins.ltac" directory = "firstorder" @@ -416,7 +400,7 @@ package "plugins" ( package "rtauto" ( description = "Coq rtauto plugin" - version = "8.8" + version = "8.9" requires = "coq.plugins.ltac" directory = "rtauto" @@ -428,7 +412,7 @@ package "plugins" ( package "btauto" ( description = "Coq btauto plugin" - version = "8.8" + version = "8.9" requires = "coq.plugins.ltac" directory = "btauto" @@ -440,7 +424,7 @@ package "plugins" ( package "recdef" ( description = "Coq recdef plugin" - version = "8.8" + version = "8.9" requires = "coq.plugins.extraction" directory = "funind" @@ -452,7 +436,7 @@ package "plugins" ( package "nsatz" ( description = "Coq nsatz plugin" - version = "8.8" + version = "8.9" requires = "num,coq.plugins.ltac" directory = "nsatz" @@ -464,7 +448,7 @@ package "plugins" ( package "natsyntax" ( description = "Coq natsyntax plugin" - version = "8.8" + version = "8.9" requires = "" directory = "syntax" @@ -476,7 +460,7 @@ package "plugins" ( package "zsyntax" ( description = "Coq zsyntax plugin" - version = "8.8" + version = "8.9" requires = "" directory = "syntax" @@ -488,7 +472,7 @@ package "plugins" ( package "rsyntax" ( description = "Coq rsyntax plugin" - version = "8.8" + version = "8.9" requires = "" directory = "syntax" @@ -500,7 +484,7 @@ package "plugins" ( package "int31syntax" ( description = "Coq int31syntax plugin" - version = "8.8" + version = "8.9" requires = "" directory = "syntax" @@ -512,7 +496,7 @@ package "plugins" ( package "asciisyntax" ( description = "Coq asciisyntax plugin" - version = "8.8" + version = "8.9" requires = "" directory = "syntax" @@ -524,7 +508,7 @@ package "plugins" ( package "stringsyntax" ( description = "Coq stringsyntax plugin" - version = "8.8" + version = "8.9" requires = "coq.plugins.asciisyntax" directory = "syntax" @@ -536,7 +520,7 @@ package "plugins" ( package "derive" ( description = "Coq derive plugin" - version = "8.8" + version = "8.9" requires = "" directory = "derive" @@ -548,7 +532,7 @@ package "plugins" ( package "ssrmatching" ( description = "Coq ssrmatching plugin" - version = "8.8" + version = "8.9" requires = "coq.plugins.ltac" directory = "ssrmatching" @@ -560,7 +544,7 @@ package "plugins" ( package "ssreflect" ( description = "Coq ssreflect plugin" - version = "8.8" + version = "8.9" requires = "coq.plugins.ssrmatching" directory = "ssr" |