minlog 4.0.99.20100221-5.2 / usr / share / doc / minlog / examples / mpc

This file is indexed.

/usr/share/doc/minlog/examples/mpc/ is in minlog 4.0.99.20100221-5.2.

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

File Mime Type Owner Mode Size
..
/usr/share/doc/minlog/examples/mpc/list1.mpc text/plain root:root 0o644 844 bytes
/usr/share/doc/minlog/examples/mpc/list2.mpc text/plain root:root 0o644 938 bytes
/usr/share/doc/minlog/examples/mpc/nat0.scm text/plain root:root 0o644 822 bytes
/usr/share/doc/minlog/examples/mpc/nat1.mpc text/plain root:root 0o644 276 bytes
/usr/share/doc/minlog/examples/mpc/nat1.scm text/plain root:root 0o644 1.1 KB
/usr/share/doc/minlog/examples/mpc/nat2.mpc text/plain root:root 0o644 404 bytes
/usr/share/doc/minlog/examples/mpc/nat2.scm text/plain root:root 0o644 868 bytes
/usr/share/doc/minlog/examples/mpc/nat3.mpc text/plain root:root 0o644 433 bytes
/usr/share/doc/minlog/examples/mpc/nat3.scm text/plain root:root 0o644 867 bytes
/usr/share/doc/minlog/examples/mpc/nat4.mpc text/plain root:root 0o644 435 bytes
/usr/share/doc/minlog/examples/mpc/nat4.scm text/plain root:root 0o644 947 bytes
/usr/share/doc/minlog/examples/mpc/prop.mpc text/plain root:root 0o644 810 bytes
/usr/share/doc/minlog/examples/mpc/quant.mpc text/plain root:root 0o644 1.2 KB
/usr/share/doc/minlog/examples/mpc/quant1.mpc text/plain root:root 0o644 656 bytes
/usr/share/doc/minlog/examples/mpc/quant1.scm text/plain root:root 0o644 1018 bytes
/usr/share/doc/minlog/examples/mpc/quant2.mpc text/plain root:root 0o644 189 bytes
/usr/share/doc/minlog/examples/mpc/quant2.scm text/plain root:root 0o644 604 bytes
/usr/share/doc/minlog/examples/mpc/quant3.mpc text/plain root:root 0o644 403 bytes
/usr/share/doc/minlog/examples/mpc/quant3.scm text/plain root:root 0o644 2.7 KB

APT Browse - Built by Thomas Orozco.