why-examples 2.34-4ubuntu4 / usr / share / doc / why / examples / misc

This file is indexed.

/usr/share/doc/why/examples/misc/ is in why-examples 2.34-4ubuntu4.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/doc/why/examples/misc/.depend text/plain root:root 0o644 1.7 KB
/usr/share/doc/why/examples/misc/Makefile text/x-makefile root:root 0o644 598 bytes
/usr/share/doc/why/examples/misc/arith.mlw text/plain root:root 0o644 476 bytes
/usr/share/doc/why/examples/misc/arith_why.sx text/plain root:root 0o644 9.3 KB
/usr/share/doc/why/examples/misc/arith_why.v text/plain root:root 0o644 1002 bytes
/usr/share/doc/why/examples/misc/copy_why.sx text/plain root:root 0o644 1.5 KB
/usr/share/doc/why/examples/misc/copy_why.v text/plain root:root 0o644 1.9 KB
/usr/share/doc/why/examples/misc/csearch_why.sx text/plain root:root 0o644 4.7 KB
/usr/share/doc/why/examples/misc/csearch_why.v text/plain root:root 0o644 4.6 KB
/usr/share/doc/why/examples/misc/fib.mlw text/plain root:root 0o644 2.5 KB
/usr/share/doc/why/examples/misc/fib_why.sx text/plain root:root 0o644 29.9 KB
/usr/share/doc/why/examples/misc/fib_why.v text/plain root:root 0o644 6.0 KB
/usr/share/doc/why/examples/misc/flag.mlw text/plain root:root 0o644 1.1 KB
/usr/share/doc/why/examples/misc/flag_ax.mlw text/plain root:root 0o644 2.8 KB
/usr/share/doc/why/examples/misc/flag_ax_why.sx text/plain root:root 0o644 54.5 KB
/usr/share/doc/why/examples/misc/flag_ax_why.v text/plain root:root 0o644 2.2 KB
/usr/share/doc/why/examples/misc/flag_why.sx text/plain root:root 0o644 16.2 KB
/usr/share/doc/why/examples/misc/flag_why.v text/plain root:root 0o644 13.0 KB
/usr/share/doc/why/examples/misc/gcd.mlw text/plain root:root 0o644 1.2 KB
/usr/share/doc/why/examples/misc/gcd_why.sx text/plain root:root 0o644 10.6 KB
/usr/share/doc/why/examples/misc/gcd_why.v text/plain root:root 0o644 2.2 KB
/usr/share/doc/why/examples/misc/loop0.mlw text/plain root:root 0o644 353 bytes
/usr/share/doc/why/examples/misc/loop0_why.sx text/plain root:root 0o644 5.8 KB
/usr/share/doc/why/examples/misc/loop0_why.v text/plain root:root 0o644 119 bytes
/usr/share/doc/why/examples/misc/mac_carthy.mlw text/plain root:root 0o644 1.2 KB
/usr/share/doc/why/examples/misc/mac_carthy_why.sx text/plain root:root 0o644 6.7 KB
/usr/share/doc/why/examples/misc/mac_carthy_why.v text/plain root:root 0o644 714 bytes
/usr/share/doc/why/examples/misc/matrix.why text/plain root:root 0o644 5.7 KB
/usr/share/doc/why/examples/misc/matrix_mult.why text/plain root:root 0o644 897 bytes
/usr/share/doc/why/examples/misc/matrix_why.v text/plain root:root 0o644 30.8 KB
/usr/share/doc/why/examples/misc/max.mlw text/plain root:root 0o644 840 bytes
/usr/share/doc/why/examples/misc/max_why.sx text/plain root:root 0o644 20.1 KB
/usr/share/doc/why/examples/misc/max_why.v text/plain root:root 0o644 4.5 KB
/usr/share/doc/why/examples/misc/mix_max.mlw text/plain root:root 0o644 1.7 KB
/usr/share/doc/why/examples/misc/peano.mlw text/plain root:root 0o644 1.4 KB
/usr/share/doc/why/examples/misc/peano_why.sx text/plain root:root 0o644 11.5 KB
/usr/share/doc/why/examples/misc/peano_why.v text/plain root:root 0o644 940 bytes
/usr/share/doc/why/examples/misc/power.mlw text/plain root:root 0o644 824 bytes
/usr/share/doc/why/examples/misc/power_why.sx text/plain root:root 0o644 8.8 KB
/usr/share/doc/why/examples/misc/power_why.v text/plain root:root 0o644 2.9 KB
/usr/share/doc/why/examples/misc/search.mlw text/plain root:root 0o644 1.6 KB
/usr/share/doc/why/examples/misc/search_why.sx text/plain root:root 0o644 15.2 KB
/usr/share/doc/why/examples/misc/search_why.v text/plain root:root 0o644 4.5 KB
/usr/share/doc/why/examples/misc/sqrt_dicho.mlw text/plain root:root 0o644 498 bytes
/usr/share/doc/why/examples/misc/sqrt_dicho_why.sx text/plain root:root 0o644 9.6 KB
/usr/share/doc/why/examples/misc/sqrt_dicho_why.v text/plain root:root 0o644 1.6 KB
/usr/share/doc/why/examples/misc/sum.mlw text/plain root:root 0o644 366 bytes
/usr/share/doc/why/examples/misc/sum_why.sx text/plain root:root 0o644 6.5 KB
/usr/share/doc/why/examples/misc/sum_why.v text/plain root:root 0o644 596 bytes
/usr/share/doc/why/examples/misc/swap0.mlw text/plain root:root 0o644 1.3 KB
/usr/share/doc/why/examples/misc/swap0_why.sx text/plain root:root 0o644 6.5 KB
/usr/share/doc/why/examples/misc/swap0_why.v text/plain root:root 0o644 614 bytes

APT Browse - Built by Thomas Orozco.