drwxr-xr-x | 4096 | root |
root |
/usr/lib/coq/user-contrib/Gappa
|
-rw-r--r-- | 18999 | root |
root |
/usr/lib/coq/user-contrib/Gappa/Gappa_common.vo
|
-rw-r--r-- | 28240 | root |
root |
/usr/lib/coq/user-contrib/Gappa/Gappa_decimal.vo
|
-rw-r--r-- | 29303 | root |
root |
/usr/lib/coq/user-contrib/Gappa/Gappa_definitions.vo
|
-rw-r--r-- | 49809 | root |
root |
/usr/lib/coq/user-contrib/Gappa/Gappa_dyadic.vo
|
-rw-r--r-- | 37205 | root |
root |
/usr/lib/coq/user-contrib/Gappa/Gappa_fixed.vo
|
-rw-r--r-- | 148574 | root |
root |
/usr/lib/coq/user-contrib/Gappa/Gappa_float.vo
|
-rw-r--r-- | 18877 | root |
root |
/usr/lib/coq/user-contrib/Gappa/Gappa_library.vo
|
-rw-r--r-- | 6977 | root |
root |
/usr/lib/coq/user-contrib/Gappa/Gappa_obfuscate.vo
|
-rw-r--r-- | 49746 | root |
root |
/usr/lib/coq/user-contrib/Gappa/Gappa_pred_abs.vo
|
-rw-r--r-- | 79288 | root |
root |
/usr/lib/coq/user-contrib/Gappa/Gappa_pred_bnd.vo
|
-rw-r--r-- | 58230 | root |
root |
/usr/lib/coq/user-contrib/Gappa/Gappa_pred_fixflt.vo
|
-rw-r--r-- | 21587 | root |
root |
/usr/lib/coq/user-contrib/Gappa/Gappa_pred_nzr.vo
|
-rw-r--r-- | 88703 | root |
root |
/usr/lib/coq/user-contrib/Gappa/Gappa_pred_rel.vo
|
-rw-r--r-- | 81401 | root |
root |
/usr/lib/coq/user-contrib/Gappa/Gappa_real.vo
|
-rw-r--r-- | 76982 | root |
root |
/usr/lib/coq/user-contrib/Gappa/Gappa_rewriting.vo
|
-rw-r--r-- | 91690 | root |
root |
/usr/lib/coq/user-contrib/Gappa/Gappa_round.vo
|
-rw-r--r-- | 29901 | root |
root |
/usr/lib/coq/user-contrib/Gappa/Gappa_round_aux.vo
|
-rw-r--r-- | 34003 | root |
root |
/usr/lib/coq/user-contrib/Gappa/Gappa_round_def.vo
|
-rw-r--r-- | 621595 | root |
root |
/usr/lib/coq/user-contrib/Gappa/Gappa_tactic.vo
|
-rw-r--r-- | 347163 | root |
root |
/usr/lib/coq/user-contrib/Gappa/Gappa_tree.vo
|
-rw-r--r-- | 26124 | root |
root |
/usr/lib/coq/user-contrib/Gappa/Gappa_user.vo
|
-rw-r--r-- | 172195 | root |
root |
/usr/lib/coq/user-contrib/Gappa/gappatac.cmo
|
-rwxr-xr-x | 126120 | root |
root |
/usr/lib/coq/user-contrib/Gappa/gappatac.cmxs
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/gappalib-coq
|
-rw-r--r-- | 51 | root |
root |
/usr/share/doc/gappalib-coq/AUTHORS
|
-rw-r--r-- | 26436 | root |
root |
/usr/share/doc/gappalib-coq/COPYING
|
-rw-r--r-- | 3317 | root |
root |
/usr/share/doc/gappalib-coq/NEWS
|
-rw-r--r-- | 751 | root |
root |
/usr/share/doc/gappalib-coq/README
|