math/why3-gpl/pkg-plist

   1 bin/gnatwhy3
   2 bin/why3
   3 bin/why3-cpulimit
   4 bin/why3bench
   5 bin/why3config
   6 bin/why3doc
   7 bin/why3ide
   8 bin/why3replayer
   9 bin/why3session
  10 %%OCAML_SITELIBDIR%%/why3/META
  11 %%OCAML_SITELIBDIR%%/why3/why3.a
  12 %%OCAML_SITELIBDIR%%/why3/why3.cmi
  13 %%OCAML_SITELIBDIR%%/why3/why3.cmx
  14 %%OCAML_SITELIBDIR%%/why3/why3.cmxa
  15 %%OCAML_SITELIBDIR%%/why3/why3.o
  16 %%OCAML_SITELIBDIR%%/why3/why3extract.a
  17 %%OCAML_SITELIBDIR%%/why3/why3extract.cmi
  18 %%OCAML_SITELIBDIR%%/why3/why3extract.cmx
  19 %%OCAML_SITELIBDIR%%/why3/why3extract.cmxa
  20 %%OCAML_SITELIBDIR%%/why3/why3extract.o
  21 lib/why3/plugins/dimacs.cmxs
  22 lib/why3/plugins/genequlin.cmxs
  23 lib/why3/plugins/hypothesis_selection.cmxs
  24 lib/why3/plugins/tptp.cmxs
  25 lib/why3/why3-call-pvs
  26 %%DATADIR%%/drivers/alt_ergo.drv
  27 %%DATADIR%%/drivers/alt_ergo_0.92.drv
  28 %%DATADIR%%/drivers/alt_ergo_0.93.drv
  29 %%DATADIR%%/drivers/alt_ergo_0.94.drv
  30 %%DATADIR%%/drivers/alt_ergo_bare.drv
  31 %%DATADIR%%/drivers/alt_ergo_model.drv
  32 %%DATADIR%%/drivers/alt_ergo_smt2.drv
  33 %%DATADIR%%/drivers/beagle.drv
  34 %%DATADIR%%/drivers/coq-common.gen
  35 %%DATADIR%%/drivers/coq-realizations.aux
  36 %%DATADIR%%/drivers/coq-realize.drv
  37 %%DATADIR%%/drivers/coq.drv
  38 %%DATADIR%%/drivers/coq_8_4.drv
  39 %%DATADIR%%/drivers/cvc3.drv
  40 %%DATADIR%%/drivers/cvc3_bare.drv
  41 %%DATADIR%%/drivers/cvc4.drv
  42 %%DATADIR%%/drivers/cvc4_bare.drv
  43 %%DATADIR%%/drivers/cvc4_gnatprove.drv
  44 %%DATADIR%%/drivers/discrimination.gen
  45 %%DATADIR%%/drivers/eprover.drv
  46 %%DATADIR%%/drivers/gappa.drv
  47 %%DATADIR%%/drivers/iprover.drv
  48 %%DATADIR%%/drivers/isabelle-common.gen
  49 %%DATADIR%%/drivers/isabelle-realizations.aux
  50 %%DATADIR%%/drivers/isabelle-realize.drv
  51 %%DATADIR%%/drivers/isabelle.drv
  52 %%DATADIR%%/drivers/mathematica.drv
  53 %%DATADIR%%/drivers/mathsat.drv
  54 %%DATADIR%%/drivers/metis.drv
  55 %%DATADIR%%/drivers/metitarski.drv
  56 %%DATADIR%%/drivers/ocaml-gen.drv
  57 %%DATADIR%%/drivers/ocaml32.drv
  58 %%DATADIR%%/drivers/ocaml64.drv
  59 %%DATADIR%%/drivers/princess.drv
  60 %%DATADIR%%/drivers/pvs-common.gen
  61 %%DATADIR%%/drivers/pvs-realizations.aux
  62 %%DATADIR%%/drivers/pvs-realize.drv
  63 %%DATADIR%%/drivers/pvs.drv
  64 %%DATADIR%%/drivers/simplify.drv
  65 %%DATADIR%%/drivers/spass.drv
  66 %%DATADIR%%/drivers/spass_types.drv
  67 %%DATADIR%%/drivers/tptp-tff0.drv
  68 %%DATADIR%%/drivers/tptp-tff1.drv
  69 %%DATADIR%%/drivers/tptp.gen
  70 %%DATADIR%%/drivers/vampire.drv
  71 %%DATADIR%%/drivers/verit.drv
  72 %%DATADIR%%/drivers/why3.drv
  73 %%DATADIR%%/drivers/why3_smt.drv
  74 %%DATADIR%%/drivers/why3_tptp.drv
  75 %%DATADIR%%/drivers/yices.drv
  76 %%DATADIR%%/drivers/yices_bare.drv
  77 %%DATADIR%%/drivers/z3.drv
  78 %%DATADIR%%/drivers/z3_bare.drv
  79 %%DATADIR%%/drivers/z3_smtv1.drv
  80 %%DATADIR%%/drivers/zenon.drv
  81 %%DATADIR%%/emacs/why3-mode.el
  82 %%DATADIR%%/images/boomy/accept32.png
  83 %%DATADIR%%/images/boomy/bug32.png
  84 %%DATADIR%%/images/boomy/clock32.png
  85 %%DATADIR%%/images/boomy/configure16.png
  86 %%DATADIR%%/images/boomy/configure32.png
  87 %%DATADIR%%/images/boomy/cut32.png
  88 %%DATADIR%%/images/boomy/cutb32.png
  89 %%DATADIR%%/images/boomy/delete32.png
  90 %%DATADIR%%/images/boomy/deletefile32.png
  91 %%DATADIR%%/images/boomy/edit32.png
  92 %%DATADIR%%/images/boomy/file16.png
  93 %%DATADIR%%/images/boomy/file32.png
  94 %%DATADIR%%/images/boomy/folder16.png
  95 %%DATADIR%%/images/boomy/folder32.png
  96 %%DATADIR%%/images/boomy/help32.png
  97 %%DATADIR%%/images/boomy/movefile32.png
  98 %%DATADIR%%/images/boomy/obsaccept32.png
  99 %%DATADIR%%/images/boomy/obsbug32.png
 100 %%DATADIR%%/images/boomy/obsclock32.png
 101 %%DATADIR%%/images/boomy/obsdelete32.png
 102 %%DATADIR%%/images/boomy/obsdeletefile32.png
 103 %%DATADIR%%/images/boomy/obshelp32.png
 104 %%DATADIR%%/images/boomy/pause32.png
 105 %%DATADIR%%/images/boomy/pausehalf32.png
 106 %%DATADIR%%/images/boomy/play32.png
 107 %%DATADIR%%/images/boomy/refresh32.png
 108 %%DATADIR%%/images/boomy/stop32.png
 109 %%DATADIR%%/images/boomy/transformation32.png
 110 %%DATADIR%%/images/boomy/trashb32.png
 111 %%DATADIR%%/images/boomy/undone32.png
 112 %%DATADIR%%/images/boomy/wizard16.png
 113 %%DATADIR%%/images/boomy/wizard32.png
 114 %%DATADIR%%/images/fatcow/accept.png
 115 %%DATADIR%%/images/fatcow/bin.png
 116 %%DATADIR%%/images/fatcow/bomb.png
 117 %%DATADIR%%/images/fatcow/bullet_black.png
 118 %%DATADIR%%/images/fatcow/bullet_blue.png
 119 %%DATADIR%%/images/fatcow/bullet_green.png
 120 %%DATADIR%%/images/fatcow/bullet_red.png
 121 %%DATADIR%%/images/fatcow/bullet_white.png
 122 %%DATADIR%%/images/fatcow/cancel.png
 123 %%DATADIR%%/images/fatcow/control_pause_blue.png
 124 %%DATADIR%%/images/fatcow/control_play_blue.png
 125 %%DATADIR%%/images/fatcow/ddr_memory.png
 126 %%DATADIR%%/images/fatcow/delete.png
 127 %%DATADIR%%/images/fatcow/exclamation.png
 128 %%DATADIR%%/images/fatcow/folder.png
 129 %%DATADIR%%/images/fatcow/help.png
 130 %%DATADIR%%/images/fatcow/magic_wand_2.png
 131 %%DATADIR%%/images/fatcow/multitool.png
 132 %%DATADIR%%/images/fatcow/package.png
 133 %%DATADIR%%/images/fatcow/pencil.png
 134 %%DATADIR%%/images/fatcow/script.png
 135 %%DATADIR%%/images/fatcow/timeline.png
 136 %%DATADIR%%/images/fatcow/update.png
 137 %%DATADIR%%/images/icons.rc
 138 %%DATADIR%%/images/logo-why.png
 139 %%DATADIR%%/javascript/jquery.js
 140 %%DATADIR%%/javascript/jquery.jstree.js
 141 %%DATADIR%%/javascript/session.css
 142 %%DATADIR%%/javascript/session.js
 143 %%DATADIR%%/javascript/themes/default/d.gif
 144 %%DATADIR%%/javascript/themes/default/d.png
 145 %%DATADIR%%/javascript/themes/default/style.css
 146 %%DATADIR%%/javascript/themes/default/throbber.gif
 147 %%DATADIR%%/lang/why3.lang
 148 %%DATADIR%%/modules/array.mlw
 149 %%DATADIR%%/modules/hashtbl.mlw
 150 %%DATADIR%%/modules/impset.mlw
 151 %%DATADIR%%/modules/mach/array.mlw
 152 %%DATADIR%%/modules/mach/int.mlw
 153 %%DATADIR%%/modules/matrix.mlw
 154 %%DATADIR%%/modules/pqueue.mlw
 155 %%DATADIR%%/modules/queue.mlw
 156 %%DATADIR%%/modules/random.mlw
 157 %%DATADIR%%/modules/ref.mlw
 158 %%DATADIR%%/modules/stack.mlw
 159 %%DATADIR%%/modules/string.mlw
 160 %%DATADIR%%/provers-detection-data.conf
 161 %%DATADIR%%/theories/algebra.why
 162 %%DATADIR%%/theories/bag.why
 163 %%DATADIR%%/theories/bintree.why
 164 %%DATADIR%%/theories/bool.why
 165 %%DATADIR%%/theories/comparison.why
 166 %%DATADIR%%/theories/floating_point.why
 167 %%DATADIR%%/theories/function.why
 168 %%DATADIR%%/theories/graph.why
 169 %%DATADIR%%/theories/int.why
 170 %%DATADIR%%/theories/list.why
 171 %%DATADIR%%/theories/map.why
 172 %%DATADIR%%/theories/number.why
 173 %%DATADIR%%/theories/option.why
 174 %%DATADIR%%/theories/pigeon.why
 175 %%DATADIR%%/theories/real.why
 176 %%DATADIR%%/theories/regexp.why
 177 %%DATADIR%%/theories/relations.why
 178 %%DATADIR%%/theories/set.why
 179 %%DATADIR%%/theories/sum.why
 180 %%DATADIR%%/theories/tptp.why
 181 %%DATADIR%%/vim/why3.vim
 182 %%DATADIR%%/why3session.dtd
 183 @dirrm %%OCAML_SITELIBDIR%%/why3
 184 @dirrm lib/why3/plugins
 185 @dirrm lib/why3
 186 @dirrm %%DATADIR%%/drivers
 187 @dirrm %%DATADIR%%/emacs
 188 @dirrm %%DATADIR%%/images/boomy
 189 @dirrm %%DATADIR%%/images/fatcow
 190 @dirrm %%DATADIR%%/images
 191 @dirrm %%DATADIR%%/javascript/themes/default
 192 @dirrm %%DATADIR%%/javascript/themes
 193 @dirrm %%DATADIR%%/javascript
 194 @dirrm %%DATADIR%%/lang
 195 @dirrm %%DATADIR%%/modules/mach
 196 @dirrm %%DATADIR%%/modules
 197 @dirrm %%DATADIR%%/theories
 198 @dirrm %%DATADIR%%/vim
 199 @dirrm %%DATADIR%%