File: incdir_dune

package info (click to toggle)
coq-doc 8.16.1-1
  • links: PTS, VCS
  • area: non-free
  • in suites: bookworm
  • size: 42,788 kB
  • sloc: ml: 219,673; sh: 4,035; python: 3,372; ansic: 2,529; makefile: 728; lisp: 279; javascript: 87; xml: 24; sed: 2
file content (17 lines) | stat: -rw-r--r-- 922 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#cd".";;
#directory "_build/default/lib/.lib.objs/byte/";;
#directory "_build/default/clib/.clib.objs/byte/";;
#directory "_build/default/kernel/.kernel.objs/byte/";;
#directory "_build/default/library/.library.objs/byte/";;
#directory "_build/default/engine/.engine.objs/byte/";;
#directory "_build/default/pretyping/.pretyping.objs/byte/";;
#directory "_build/default/interp/.interp.objs/byte/";;
#directory "_build/default/parsing/.parsing.objs/byte/";;
#directory "_build/default/gramlib/.gramlib.objs/byte/";;
#directory "_build/default/proofs/.proofs.objs/byte/";;
#directory "_build/default/tactics/.tactics.objs/byte/";;
#directory "_build/default/printing/.printing.objs/byte/";;
#directory "_build/default/vernac/.vernac.objs/byte/";;
#directory "_build/default/stm/.stm.objs/byte/";;
#directory "_build/default/toplevel/.toplevel.objs/byte/";;
#directory "_build/default/plugins/ltac/.ltac_plugin.objs/byte/";;