package info (click to toggle)
rocq-stdlib 9.0.0-3
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 11,828 kB
  • sloc: python: 2,928; sh: 444; makefile: 319; javascript: 24; ml: 2

Folder: sphinx

d .. (parent)
d d rwxr-xr-x 4,096 _static
d d rwxr-xr-x 34 _templates
d d rwxr-xr-x 36 language
- - rw-r--r-- 196 README.rst
- - rw-r--r-- 10,222 README.template.rst
- - rw-r--r-- 23,983 biblio.bib
- - rw-r--r-- 8,159 changes.rst
- - rw-r--r-- 17,769 conf.py
- - rw-r--r-- 36 dune
- - rw-r--r-- 306 index.html.rst
- - rw-r--r-- 361 index.latex.rst
- - rw-r--r-- 188 introduction.rst
- - rw-r--r-- 320 license.rst
- - rw-r--r-- 1,203 refman-preamble.rst
- - rw-r--r-- 2,698 refman-preamble.sty
- - rw-r--r-- 729 zebibliography.html.rst
- - rw-r--r-- 103 zebibliography.latex.rst