lem_2022-12-10+dfsg2-1_amd64.changes (click to toggle) | |
---|---|
Format: | 1.8 |
Date: | Sun, 23 Jun 2024 07:39:43 +0800 |
Source: | lem |
Binary: | lem lem-dbgsym liblem-ocaml-dev |
Architecture: | source amd64 |
Version: | 2022-12-10+dfsg2-1 |
Distribution: | unstable |
Urgency: | low |
Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
Changed-By: | Bo YU <tsu.yubo@gmail.com> |
Description: | lem - Tool merging math and logic for executable definitions (tool) liblem-ocaml-dev - Tool merging math and logic for executable definitions (developme |
Closes: | 1065658 |
Changes: | lem (2022-12-10+dfsg2-1) unstable; urgency=low * Initial release. (Closes: #1065658) |
Files: | 276290d8aab3b5ee653a283898962eab 2110 ocaml optional lem_2022-12-10+dfsg2-1.dsc 10e8eca9382d758d7641df0be88af534 500444 ocaml optional lem_2022-12-10+dfsg2.orig.tar.xz e14dcf0aa62c673f1feedf77a7baa8be 7280 ocaml optional lem_2022-12-10+dfsg2-1.debian.tar.xz 7ad340c5a2ad7a932bc4461dd072fd44 436368 debug optional lem-dbgsym_2022-12-10+dfsg2-1_amd64.deb 0ae0f90436855d4a564df9e8ed487185 6979 ocaml optional lem_2022-12-10+dfsg2-1_amd64.buildinfo 8bf50a70e08d5b7139aad6dd0c4fec37 1365880 ocaml optional lem_2022-12-10+dfsg2-1_amd64.deb 82feff1848c940e29ee4b8d95c63b313 552152 ocaml optional liblem-ocaml-dev_2022-12-10+dfsg2-1_amd64.deb |
lem_2022-12-10+dfsg2-1.dsc (click to toggle) | |
---|---|
Format: | 3.0 (quilt) |
Source: | lem |
Binary: | lem, liblem-ocaml-dev |
Architecture: | any |
Version: | 2022-12-10+dfsg2-1 |
Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
Uploaders: | Bo YU <tsu.yubo@gmail.com> |
Homepage: | https://github.com/rems-project/lem |
Standards-Version: | 4.7.0 |
Vcs-Browser: | https://salsa.debian.org/ocaml-team/lem |
Vcs-Git: | https://salsa.debian.org/ocaml-team/lem.git |
Build-Depends: | debhelper-compat (=13), ocaml, ocaml-dune (>=2.2.0), dh-ocaml (>=1.2), libzarith-ocaml-dev, libnum-ocaml-dev, ocaml-findlib, ocamlbuild, help2man |
Package-List: | lem deb ocaml optional arch=any liblem-ocaml-dev deb ocaml optional arch=any |
Files: | 10e8eca9382d758d7641df0be88af534 500444 lem_2022-12-10+dfsg2.orig.tar.xz e14dcf0aa62c673f1feedf77a7baa8be 7280 lem_2022-12-10+dfsg2-1.debian.tar.xz |
control file for lem_2022-12-10+dfsg2-1_amd64.deb (click to toggle) | |
---|---|
Package: | lem |
Version: | 2022-12-10+dfsg2-1 |
Architecture: | amd64 |
Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
Installed-Size: | 5258 |
Depends: | libc6 (>=2.38), libgmp10 (>=2:6.3.0+dfsg) |
Suggests: | ocaml-findlib |
Section: | ocaml |
Priority: | optional |
Homepage: | https://github.com/rems-project/lem |
Description: | Tool merging math and logic for executable definitions (tool) Lem is a tool for lightweight executable mathematics, for writing, managing, and publishing large-scale portable semantic definitions, with export to LaTeX, executable code (currently OCaml) and interactive theorem provers (currently Coq, HOL4, and Isabelle/HOL). . It is also intended as an intermediate language for generating definitions from domain-specific tools, and for porting definitions between interactive theorem proving systems. |
contents of lem_2022-12-10+dfsg2-1_amd64.deb (click to toggle) | |
---|---|
drwxr-xr-x root/root 0 2024-06-22 23:39 ./ drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/ drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/bin/ -rwxr-xr-x root/root 5361560 2024-06-22 23:39 ./usr/bin/lem drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/share/ drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/share/doc/ drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/share/doc/lem/ -rw-r--r-- root/root 647 2024-06-22 23:39 ./usr/share/doc/lem/README.Debian -rw-r--r-- root/root 159 2024-06-22 23:39 ./usr/share/doc/lem/changelog.Debian.gz -rw-r--r-- root/root 8984 2024-06-22 23:39 ./usr/share/doc/lem/copyright drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/share/man/ drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/share/man/man1/ -rw-r--r-- root/root 1815 2024-06-22 23:39 ./usr/share/man/man1/lem.1.gz |
copyright of lem_2022-12-10+dfsg2-1_amd64.deb (click to toggle) | |
---|---|
Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: lem Upstream-Contact: Lem Devs <cl-lem-dev@lists.cam.ac.uk> Source: https://github.com/rems-project/lem Files-Excluded: doc/built-doc/html-doc/*.html doc/built-doc/*.html doc/built-doc/*.pdf doc/lem-draft.pdf ocaml-lib/dependencies manual examples/ppcmem-model Files: * Copyright: 2010-2024 Dominic Mulligan, Kathryn E. Gray, Scott Owens, Peter Sewell, Thomas Tuerk, Basile Clement, Brian Campbell, Christopher Pulte, David Sheets, Fabian Immler Frederic Loulergue, Francesco Zappa Nardelli. Gabriel Kerneis, James Lingard, Jean Pichon-Pharabod, Justus Matthiesen, Kayvan Memarian, Kyndylan Nienhuis, Lars Hupel, Mark Batty, Michael Greenberg Michael Norrish, Ohad Kammar, Peter Boehm, Robert Norton Sami Mäkelä, Shaked Flur Stephen Kell, Thibaut Pérami, Thomas Bauereiss, Thomas Williams, Victor Gomes, emersion. License: BSD-3-clause Files: coq-lib/coqharness.v etc/header isabelle-lib/Lem.thy isabelle-lib/LemExtraDefs.thy src/ast_util.* src/backend.* src/backend_common.* src/convert_relations.ml src/coq_backend.ml src/coq_backend_utils.ml src/debug.ml src/def_trans.* src/default_values.ml src/external_constants.ml src/finite_map.ml src/ident.* src/initial_env.* src/lexer.mll src/macro_expander.* src/main.* src/module_dependencies.* src/name.* src/nvar.* src/output.* src/parser.mly src/path.* src/pattern_syntax.* src/patterns.* src/pcombinators.* src/pp.* src/precedence.* src/process_file.* src/rename_top_level.* src/reporting.* src/reporting_basic.* src/seplist.* src/syntactic_tests.* src/target.* src/target_binding.* src/target_syntax.* src/target_trans.* src/trans.* src/typecheck.* src/typecheck_ctxt.* src/typed_ast.* src/typed_ast_syntax.* src/types.* src/tyvar.* src/util.* Copyright: 2010-2018 Dominic Mulligan, University of Cambridge 2010-2018 Francesco Zappa Nardelli, INRIA Paris-Rocquencourt 2010-2018 Gabriel Kerneis, University of Cambridge 2010-2018 Kathy Gray, University of Cambridge 2010-2018 Peter Boehm, University of Cambridge (while working on Lem) 2010-2018 Peter Sewell, University of Cambridge 2010-2018 Scott Owens, University of Kent 2010-2018 Thomas Tuerk, University of Cambridge 2010-2018 Brian Campbell, University of Edinburgh 2010-2018 Shaked Flur, University of Cambridge 2010-2018 Thomas Bauereiss, University of Cambridge 2010-2018 Stephen Kell, University of Cambridge 2010-2018 Thomas Williams 2010-2018 Lars Hupel 2010-2018 Basile Clement 2010-2018, Institut National de Recherche en Informatique et en Automatique (INRIA) License: BSD-3-clause Files: examples/cpp/cmm.lem hol-lib/lemLib.sml hol-lib/lemScript.sml tests/backends/HolDoc.* Copyright: 2011-2012 Mark Batty 2011-2012 Scott Owens 2011-2012 Jean Pichon 2011-2012 Susmit Sarkar 2011-2012 Peter Sewell 2010-2013 Dominic Mulligan, University of Cambridge 2010-2013 Francesco Zappa Nardelli, INRIA Paris-Rocquencourt 2010-2013 Gabriel Kerneis, University of Cambridge 2010-2013 Kathy Gray, University of Cambridge 2010-2013 Peter Boehm, University of Cambridge (while working on Lem) 2010-2013 Peter Sewell, University of Cambridge 2010-2013 Scott Owens, University of Kent 2010-2013 Thomas Tuerk, University of Cambridge 2010-2013 Institut National de Recherche en Informatique et en Automatique (INRIA) 2007-2008 Jade Alglave, Moscova project, INRIA Paris-Rocquencourt 2007-2008 Anthony Fox, Computer Laboratory, University of Cambridge 2007-2008 Samin Isthiaq, Microsoft Research Cambridge 2007-2008 Magnus Myreen, Computer Laboratory, University of Cambridge 2007-2008 Susmit Sarkar, Computer Laboratory, University of Cambridge 2007-2008 Peter Sewell, Computer Laboratory, University of Cambridge 2007-2008 Francesco Zappa Nardelli, Moscova project, INRIA Paris-Rocquencourt License: BSD-3-clause Files: ocaml-lib/pmap.mli ocaml-lib/pmap.ml ocaml-lib/pset.mli ocaml-lib/pset.ml ocaml-lib/pset_using_lists.ml src/ulib/batUChar.ml src/ulib/batUChar.mli src/ulib/batUTF8.ml src/ulib/batUTF8.mli Copyright: 1996 Xavier Leroy, projet Cristal, INRIA Rocquencourt License: LGPL-2-with-linking-exception Files: src/ulib/batReturn.* src/ulib/batText.ml src/ulib/batText.mli Copyright: 2008 David Teller 2012 The Batteries Included Team 2007 Mauricio Fernandez <mfp@acm.org> 2008 Edgar Friendly <thelema314@gmail.com> 2008 David Teller, LIFO, Universite d'Orleans 2012 The Batteries Included Team 2011 Yoriyuki Yamagata <yoriyuki.y@gmail.com> 2007 Mauricio Fernandez <mfp@acm.org> 2002-2004 Yamagata Yoriyuki License: LGPL-2.1+-with-linking-exception Files: debian/* Copyright: 2024 Bo YU <tsu.yubo@gmail.com> License: BSD-3-clause License: BSD-3-clause Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: 1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. 2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution. 3. The names of the authors may not be used to endorse or promote products derived from this software without specific prior written permission. . THIS SOFTWARE IS PROVIDED BY THE AUTHORS ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. License: LGPL-2 This package is free software; you can redistribute it and/or modify it under the terms of the GNU Library General Public License version 2 as published by the Free Software Foundation. . On Debian systems, the full text of the LGPL License can be found in the file `/usr/share/common-licenses/LGPL-2'. License: LGPL-2-with-linking-exception The Library is distributed under the terms of the GNU Library General Public License version 2. . On Debian systems, the complete text of the GNU Library General Public License version 2 can be found in `/usr/share/common-licenses/LGPL-2'. . As a special exception to the GNU Library General Public License, you may link, statically or dynamically, a "work that uses the Library" with a publicly distributed version of the Library to produce an executable file containing portions of the Library, and distribute that executable file under terms of your choice, without any of the additional requirements listed in clause 6 of the GNU Library General Public License. By "a publicly distributed version of the Library", we mean either the unmodified Library as distributed by INRIA, or a modified version of the Library that is distributed under the conditions defined in clause 2 of the GNU Library General Public License. This exception does not however invalidate any other reasons why the executable file might be covered by the GNU Library General Public License. License: LGPL-2.1+-with-linking-exception The Library is distributed under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 2.1, or (at your option any later version), with the special exception on linking reported above. . As a special exception to the GNU Lesser General Public License, you may link, statically or dynamically, a "work that uses the Library" with a publicly distributed version of the Library to produce an executable file containing portions of the Library, and distribute that executable file under terms of your choice, without any of the additional requirements listed in clause 6 of the GNU Lesser General Public License. By "a publicly distributed version of the Library", we mean either the unmodified Library as distributed by the authors, or a modified version of the Library that is distributed under the conditions defined in clause 3 of the GNU Lesser General Public License. This exception does not however invalidate any other reasons why the executable file might be covered by the GNU Lesser General Public License. . The full text of the GNU Lessere General Public License version 2.1 can be found in `/usr/share/common-licenses/LGPL-2.1'. |
control file for lem-dbgsym_2022-12-10+dfsg2-1_amd64.deb (click to toggle) | |
---|---|
Package: | lem-dbgsym |
Source: | lem |
Version: | 2022-12-10+dfsg2-1 |
Auto-Built-Package: | debug-symbols |
Architecture: | amd64 |
Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
Installed-Size: | 1156 |
Depends: | lem (=2022-12-10+dfsg2-1) |
Section: | debug |
Priority: | optional |
Description: | debug symbols for lem |
Build-Ids: | e50f9619d9be1fa90f2ca36ef6c4254788de0940 |
contents of lem-dbgsym_2022-12-10+dfsg2-1_amd64.deb (click to toggle) | |
---|---|
drwxr-xr-x root/root 0 2024-06-22 23:39 ./ drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/ drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/lib/ drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/lib/debug/ drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/lib/debug/.build-id/ drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/lib/debug/.build-id/e5/ -rw-r--r-- root/root 1172712 2024-06-22 23:39 ./usr/lib/debug/.build-id/e5/0f9619d9be1fa90f2ca36ef6c4254788de0940.debug drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/share/ drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/share/doc/ lrwxrwxrwx root/root 0 2024-06-22 23:39 ./usr/share/doc/lem-dbgsym -> lem |
copyright of lem-dbgsym_2022-12-10+dfsg2-1_amd64.deb (click to toggle) | |
---|---|
WARNING: No copyright found, please check package manually. |
control file for liblem-ocaml-dev_2022-12-10+dfsg2-1_amd64.deb (click to toggle) | |
---|---|
Package: | liblem-ocaml-dev |
Source: | lem |
Version: | 2022-12-10+dfsg2-1 |
Architecture: | amd64 |
Maintainer: | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
Installed-Size: | 5398 |
Depends: | libnum-ocaml-dev-ru7b2, libstdlib-ocaml-dev-7l663, libzarith-ocaml-dev-mtsj7, ocaml-5.2.0, libnum-ocaml-dev, libstdlib-ocaml-dev, libzarith-ocaml-dev |
Suggests: | ocaml-findlib |
Provides: | liblem-ocaml-dev-ao0g1 |
Section: | ocaml |
Priority: | optional |
Homepage: | https://github.com/rems-project/lem |
Description: | Tool merging math and logic for executable definitions (development) Lem is a tool for lightweight executable mathematics, for writing, managing, and publishing large-scale portable semantic definitions, with export to LaTeX, executable code (currently OCaml) and interactive theorem provers (currently Coq, HOL4, and Isabelle/HOL). . It is also intended as an intermediate language for generating definitions from domain-specific tools, and for porting definitions between interactive theorem proving systems. . This package contains the development files. |
contents of liblem-ocaml-dev_2022-12-10+dfsg2-1_amd64.deb (click to toggle) | |
---|---|
drwxr-xr-x root/root 0 2024-06-22 23:39 ./ drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/ drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/lib/ drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/lib/ocaml/ drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/lib/ocaml/lem/ -rw-r--r-- root/root 116 2024-06-22 23:39 ./usr/lib/ocaml/lem/META drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/ drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/ drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/ drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/ -rw-r--r-- root/root 232 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/coq_makefile.in -rw-r--r-- root/root 20269 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/coqharness.v -rw-r--r-- root/root 652 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_assert_extra.v -rw-r--r-- root/root 212 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_assert_extra_auxiliary.v -rw-r--r-- root/root 21058 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_basic_classes.v -rw-r--r-- root/root 1214 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_basic_classes_auxiliary.v -rw-r--r-- root/root 1233 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_bool.v -rw-r--r-- root/root 2035 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_bool_auxiliary.v -rw-r--r-- root/root 429 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_debug.v -rw-r--r-- root/root 204 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_debug_auxiliary.v -rw-r--r-- root/root 2675 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_either.v -rw-r--r-- root/root 2833 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_either_auxiliary.v -rw-r--r-- root/root 1702 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_function.v -rw-r--r-- root/root 623 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_function_auxiliary.v -rw-r--r-- root/root 564 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_function_extra.v -rw-r--r-- root/root 1470 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_function_extra_auxiliary.v -rw-r--r-- root/root 14508 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_list.v -rw-r--r-- root/root 26874 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_list_auxiliary.v -rw-r--r-- root/root 2513 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_list_extra.v -rw-r--r-- root/root 3095 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_list_extra_auxiliary.v -rw-r--r-- root/root 37904 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_machine_word.v -rw-r--r-- root/root 211 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_machine_word_auxiliary.v -rw-r--r-- root/root 4313 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_map.v -rw-r--r-- root/root 8444 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_map_auxiliary.v -rw-r--r-- root/root 1922 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_map_extra.v -rw-r--r-- root/root 455 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_map_extra_auxiliary.v -rw-r--r-- root/root 3319 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_maybe.v -rw-r--r-- root/root 2903 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_maybe_auxiliary.v -rw-r--r-- root/root 580 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_maybe_extra.v -rw-r--r-- root/root 211 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_maybe_extra_auxiliary.v -rw-r--r-- root/root 31516 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_num.v -rw-r--r-- root/root 63281 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_num_auxiliary.v -rw-r--r-- root/root 2195 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_num_extra.v -rw-r--r-- root/root 208 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_num_extra_auxiliary.v -rw-r--r-- root/root 1039 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_pervasives.v -rw-r--r-- root/root 210 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_pervasives_auxiliary.v -rw-r--r-- root/root 1010 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_pervasives_extra.v -rw-r--r-- root/root 215 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_pervasives_extra_auxiliary.v -rw-r--r-- root/root 14394 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_relation.v -rw-r--r-- root/root 26626 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_relation_auxiliary.v -rw-r--r-- root/root 8526 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_set.v -rw-r--r-- root/root 15966 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_set_auxiliary.v -rw-r--r-- root/root 2273 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_set_extra.v -rw-r--r-- root/root 2156 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_set_extra_auxiliary.v -rw-r--r-- root/root 1487 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_set_helpers.v -rw-r--r-- root/root 212 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_set_helpers_auxiliary.v -rw-r--r-- root/root 2170 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_show.v -rw-r--r-- root/root 203 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_show_auxiliary.v -rw-r--r-- root/root 2094 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_show_extra.v -rw-r--r-- root/root 209 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_show_extra_auxiliary.v -rw-r--r-- root/root 2649 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_sorting.v -rw-r--r-- root/root 3628 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_sorting_auxiliary.v -rw-r--r-- root/root 1650 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_string.v -rw-r--r-- root/root 2960 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_string_auxiliary.v -rw-r--r-- root/root 3411 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_string_extra.v -rw-r--r-- root/root 1667 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_string_extra_auxiliary.v -rw-r--r-- root/root 882 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_tuple.v -rw-r--r-- root/root 1639 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_tuple_auxiliary.v -rw-r--r-- root/root 25377 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_word.v -rw-r--r-- root/root 39095 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/coq-lib/lem_word_auxiliary.v drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/ -rw-r--r-- root/root 378 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/Holmakefile -rw-r--r-- root/root 5038 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lemLib.sml -rw-r--r-- root/root 12053 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lemScript.sml -rw-r--r-- root/root 1073 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_assert_extraScript.sml -rw-r--r-- root/root 26474 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_basic_classesScript.sml -rw-r--r-- root/root 1437 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_boolScript.sml -rw-r--r-- root/root 797 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_debugScript.sml -rw-r--r-- root/root 2906 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_eitherScript.sml -rw-r--r-- root/root 1821 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_functionScript.sml -rw-r--r-- root/root 563 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_function_extraScript.sml -rw-r--r-- root/root 28887 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_listScript.sml -rw-r--r-- root/root 3518 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_list_extraScript.sml -rw-r--r-- root/root 10135 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_machine_wordScript.sml -rw-r--r-- root/root 7125 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_mapScript.sml -rw-r--r-- root/root 2852 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_map_extraScript.sml -rw-r--r-- root/root 3557 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_maybeScript.sml -rw-r--r-- root/root 534 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_maybe_extraScript.sml -rw-r--r-- root/root 30505 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_numScript.sml -rw-r--r-- root/root 2236 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_num_extraScript.sml -rw-r--r-- root/root 562 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_pervasivesScript.sml -rw-r--r-- root/root 637 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_pervasives_extraScript.sml -rw-r--r-- root/root 15992 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_relationScript.sml -rw-r--r-- root/root 11220 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_setScript.sml -rw-r--r-- root/root 4815 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_set_extraScript.sml -rw-r--r-- root/root 1724 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_set_helpersScript.sml -rw-r--r-- root/root 2647 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_showScript.sml -rw-r--r-- root/root 1854 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_show_extraScript.sml -rw-r--r-- root/root 3296 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_sortingScript.sml -rw-r--r-- root/root 1952 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_stringScript.sml -rw-r--r-- root/root 4085 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_string_extraScript.sml -rw-r--r-- root/root 1073 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_tupleScript.sml -rw-r--r-- root/root 29426 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/hol-lib/lem_wordScript.sml drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/ -rw-r--r-- root/root 5864 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem.thy -rw-r--r-- root/root 39956 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/LemExtraDefs.thy -rw-r--r-- root/root 1772 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_assert_extra.thy -rw-r--r-- root/root 44399 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_basic_classes.thy -rw-r--r-- root/root 2504 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_bool.thy -rw-r--r-- root/root 1054 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_debug.thy -rw-r--r-- root/root 4415 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_either.thy -rw-r--r-- root/root 3351 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_function.thy -rw-r--r-- root/root 760 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_function_extra.thy -rw-r--r-- root/root 44151 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_list.thy -rw-r--r-- root/root 5912 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_list_extra.thy -rw-r--r-- root/root 23400 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_machine_word.thy -rw-r--r-- root/root 10280 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_map.thy -rw-r--r-- root/root 4368 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_map_extra.thy -rw-r--r-- root/root 5527 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_maybe.thy -rw-r--r-- root/root 700 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_maybe_extra.thy -rw-r--r-- root/root 49792 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_num.thy -rw-r--r-- root/root 2961 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_num_extra.thy -rw-r--r-- root/root 556 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_pervasives.thy -rw-r--r-- root/root 637 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_pervasives_extra.thy -rw-r--r-- root/root 27078 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_relation.thy -rw-r--r-- root/root 18228 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_set.thy -rw-r--r-- root/root 6692 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_set_extra.thy -rw-r--r-- root/root 2182 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_set_helpers.thy -rw-r--r-- root/root 4108 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_show.thy -rw-r--r-- root/root 2739 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_show_extra.thy -rw-r--r-- root/root 4853 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_sorting.thy -rw-r--r-- root/root 3058 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_string.thy -rw-r--r-- root/root 6690 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_string_extra.thy -rw-r--r-- root/root 1907 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_tuple.thy -rw-r--r-- root/root 50989 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/Lem_word.thy -rw-r--r-- root/root 164 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/isabelle-lib/ROOT drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/ -rw-r--r-- root/root 1341 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/assert_extra.lem -rw-r--r-- root/root 21322 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/basic_classes.lem -rw-r--r-- root/root 4173 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/bool.lem -rw-r--r-- root/root 885 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/coq_constants -rw-r--r-- root/root 757 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/debug.lem -rw-r--r-- root/root 6265 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/either.lem -rw-r--r-- root/root 2214 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/function.lem -rw-r--r-- root/root 1308 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/function_extra.lem -rw-r--r-- root/root 6256 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/hol_constants -rw-r--r-- root/root 3817 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/isabelle_constants -rw-r--r-- root/root 44239 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/list.lem -rw-r--r-- root/root 6990 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/list_extra.lem -rw-r--r-- root/root 57421 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/machine_word.lem -rw-r--r-- root/root 15816 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/map.lem -rw-r--r-- root/root 4217 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/map_extra.lem -rw-r--r-- root/root 6764 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/maybe.lem -rw-r--r-- root/root 977 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/maybe_extra.lem -rw-r--r-- root/root 90751 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/num.lem -rw-r--r-- root/root 2749 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/num_extra.lem -rw-r--r-- root/root 35 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/ocaml_constants -rw-r--r-- root/root 188 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/pervasives.lem -rw-r--r-- root/root 244 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/pervasives_extra.lem -rw-r--r-- root/root 32972 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/relation.lem -rw-r--r-- root/root 25482 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/set.lem -rw-r--r-- root/root 7375 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/set_extra.lem -rw-r--r-- root/root 2068 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/set_helpers.lem -rw-r--r-- root/root 1375 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/show.lem -rw-r--r-- root/root 1117 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/show_extra.lem -rw-r--r-- root/root 6431 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/sorting.lem -rw-r--r-- root/root 6321 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/string.lem -rw-r--r-- root/root 5880 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/string_extra.lem -rw-r--r-- root/root 8754 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/transform.lem -rw-r--r-- root/root 2908 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/tuple.lem -rw-r--r-- root/root 39458 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem/library/word.lem drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/ -rw-r--r-- root/root 256 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/META -rw-r--r-- root/root 2381 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/big_int_impl.cmi -rw-r--r-- root/root 5719 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/big_int_impl.cmx -rw-r--r-- root/root 2936 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/big_int_impl.mli -rw-r--r-- root/root 549 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/bit.cmi -rw-r--r-- root/root 600 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/bit.cmx -rw-r--r-- root/root 502 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/bit.ml -rw-r--r-- root/root 189 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/bit.mli -rw-r--r-- root/root 631 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/either.cmi -rw-r--r-- root/root 288 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/either.cmx -rw-r--r-- root/root 590 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/either.ml -rw-r--r-- root/root 812856 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/extract.a -rw-r--r-- root/root 150590 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/extract.cma -rw-r--r-- root/root 32835 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/extract.cmxa -rw-r--r-- root/root 4063 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem.cmi -rw-r--r-- root/root 6808 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem.cmx -rw-r--r-- root/root 8284 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem.ml -rw-r--r-- root/root 340 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_assert_extra.cmi -rw-r--r-- root/root 428 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_assert_extra.cmx -rw-r--r-- root/root 675 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_assert_extra.ml -rw-r--r-- root/root 5650 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_basic_classes.cmi -rw-r--r-- root/root 17571 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_basic_classes.cmx -rw-r--r-- root/root 29187 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_basic_classes.ml -rw-r--r-- root/root 188 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_bool.cmi -rw-r--r-- root/root 172 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_bool.cmx -rw-r--r-- root/root 1336 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_bool.ml -rw-r--r-- root/root 190 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_debug.cmi -rw-r--r-- root/root 173 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_debug.cmx -rw-r--r-- root/root 543 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_debug.ml -rw-r--r-- root/root 1433 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_either.cmi -rw-r--r-- root/root 1968 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_either.cmx -rw-r--r-- root/root 3014 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_either.ml -rw-r--r-- root/root 1030 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_function.cmi -rw-r--r-- root/root 1213 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_function.cmx -rw-r--r-- root/root 1542 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_function.ml -rw-r--r-- root/root 922 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_function_extra.cmi -rw-r--r-- root/root 896 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_function_extra.cmx -rw-r--r-- root/root 274 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_function_extra.ml -rw-r--r-- root/root 3721 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_list.cmi -rw-r--r-- root/root 5690 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_list.cmx -rw-r--r-- root/root 25871 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_list.ml -rw-r--r-- root/root 1489 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_list_extra.cmi -rw-r--r-- root/root 1371 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_list_extra.cmx -rw-r--r-- root/root 2999 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_list_extra.ml -rw-r--r-- root/root 12727 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_machine_word.cmi -rw-r--r-- root/root 11655 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_machine_word.cmx -rw-r--r-- root/root 35568 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_machine_word.ml -rw-r--r-- root/root 1815 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_map.cmi -rw-r--r-- root/root 2221 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_map.cmx -rw-r--r-- root/root 8244 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_map.ml -rw-r--r-- root/root 1399 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_map_extra.cmi -rw-r--r-- root/root 1296 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_map_extra.cmx -rw-r--r-- root/root 2624 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_map_extra.ml -rw-r--r-- root/root 1097 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_maybe.cmi -rw-r--r-- root/root 2367 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_maybe.cmx -rw-r--r-- root/root 3452 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_maybe.ml -rw-r--r-- root/root 905 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_maybe_extra.cmi -rw-r--r-- root/root 1095 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_maybe_extra.cmx -rw-r--r-- root/root 339 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_maybe_extra.ml -rw-r--r-- root/root 5508 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_num.cmi -rw-r--r-- root/root 19301 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_num.cmx -rw-r--r-- root/root 29831 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_num.ml -rw-r--r-- root/root 1283 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_num_extra.cmi -rw-r--r-- root/root 1236 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_num_extra.cmx -rw-r--r-- root/root 1532 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_num_extra.ml -rw-r--r-- root/root 21556 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_pervasives.cmi -rw-r--r-- root/root 59028 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_pervasives.cmx -rw-r--r-- root/root 312 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_pervasives.ml -rw-r--r-- root/root 36560 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_pervasives_extra.cmi -rw-r--r-- root/root 72735 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_pervasives_extra.cmx -rw-r--r-- root/root 337 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_pervasives_extra.ml -rw-r--r-- root/root 3610 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_relation.cmi -rw-r--r-- root/root 4397 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_relation.cmx -rw-r--r-- root/root 20599 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_relation.ml -rw-r--r-- root/root 1793 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_set.cmi -rw-r--r-- root/root 2029 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_set.cmx -rw-r--r-- root/root 11344 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_set.ml -rw-r--r-- root/root 1484 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_set_extra.cmi -rw-r--r-- root/root 1670 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_set_extra.cmx -rw-r--r-- root/root 4410 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_set_extra.ml -rw-r--r-- root/root 916 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_set_helpers.cmi -rw-r--r-- root/root 893 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_set_helpers.cmx -rw-r--r-- root/root 1484 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_set_helpers.ml -rw-r--r-- root/root 1723 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_show.cmi -rw-r--r-- root/root 2239 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_show.cmx -rw-r--r-- root/root 1719 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_show.ml -rw-r--r-- root/root 1780 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_show_extra.cmi -rw-r--r-- root/root 1840 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_show_extra.cmx -rw-r--r-- root/root 1946 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_show_extra.ml -rw-r--r-- root/root 1440 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_sorting.cmi -rw-r--r-- root/root 1282 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_sorting.cmx -rw-r--r-- root/root 2549 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_sorting.ml -rw-r--r-- root/root 1026 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_string.cmi -rw-r--r-- root/root 1008 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_string.cmx -rw-r--r-- root/root 1433 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_string.ml -rw-r--r-- root/root 1642 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_string_extra.cmi -rw-r--r-- root/root 2062 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_string_extra.cmx -rw-r--r-- root/root 2913 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_string_extra.ml -rw-r--r-- root/root 672 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_tuple.cmi -rw-r--r-- root/root 655 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_tuple.cmx -rw-r--r-- root/root 914 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_tuple.ml -rw-r--r-- root/root 5884 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_word.cmi -rw-r--r-- root/root 12614 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_word.cmx -rw-r--r-- root/root 25281 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/lem_word.ml -rw-r--r-- root/root 2165 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/nat_big_num.cmi -rw-r--r-- root/root 4870 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/nat_big_num.cmx -rw-r--r-- root/root 1797 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/nat_big_num.ml -rw-r--r-- root/root 2189 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/nat_big_num.mli -rw-r--r-- root/root 700 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/nat_num.cmi -rw-r--r-- root/root 2197 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/nat_num.cmx -rw-r--r-- root/root 682 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/nat_num.ml -rw-r--r-- root/root 329 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/nat_num.mli -rw-r--r-- root/root 2070 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/pmap.cmi -rw-r--r-- root/root 5021 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/pmap.cmx -rw-r--r-- root/root 9947 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/pmap.ml -rw-r--r-- root/root 8065 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/pmap.mli -rw-r--r-- root/root 3096 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/pset.cmi -rw-r--r-- root/root 5739 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/pset.cmx -rw-r--r-- root/root 14867 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/pset.ml -rw-r--r-- root/root 7487 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/pset.mli -rw-r--r-- root/root 1114 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/rational.cmi -rw-r--r-- root/root 2635 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/rational.cmx -rw-r--r-- root/root 430 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/rational.ml -rw-r--r-- root/root 579 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/rational.mli -rw-r--r-- root/root 1091 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/rational_impl.cmi -rw-r--r-- root/root 2676 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/rational_impl.cmx -rw-r--r-- root/root 870 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/rational_impl.mli -rw-r--r-- root/root 1085 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/vector.cmi -rw-r--r-- root/root 2033 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/vector.cmx -rw-r--r-- root/root 1026 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/vector.ml -rw-r--r-- root/root 670 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/vector.mli -rw-r--r-- root/root 459 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/xstring.cmi -rw-r--r-- root/root 905 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/xstring.cmx -rw-r--r-- root/root 546 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/xstring.ml -rw-r--r-- root/root 174 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_num/xstring.mli drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/ -rw-r--r-- root/root 163 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/META -rw-r--r-- root/root 2426 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/big_int_impl.cmi -rw-r--r-- root/root 8945 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/big_int_impl.cmx -rw-r--r-- root/root 2597 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/big_int_impl.mli -rw-r--r-- root/root 549 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/bit.cmi -rw-r--r-- root/root 600 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/bit.cmx -rw-r--r-- root/root 502 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/bit.ml -rw-r--r-- root/root 189 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/bit.mli -rw-r--r-- root/root 631 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/either.cmi -rw-r--r-- root/root 288 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/either.cmx -rw-r--r-- root/root 590 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/either.ml -rw-r--r-- root/root 814406 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/extract.a -rw-r--r-- root/root 153640 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/extract.cma -rw-r--r-- root/root 33885 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/extract.cmxa -rw-r--r-- root/root 4102 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem.cmi -rw-r--r-- root/root 6771 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem.cmx -rw-r--r-- root/root 8284 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem.ml -rw-r--r-- root/root 340 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_assert_extra.cmi -rw-r--r-- root/root 428 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_assert_extra.cmx -rw-r--r-- root/root 675 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_assert_extra.ml -rw-r--r-- root/root 5693 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_basic_classes.cmi -rw-r--r-- root/root 17614 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_basic_classes.cmx -rw-r--r-- root/root 29187 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_basic_classes.ml -rw-r--r-- root/root 188 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_bool.cmi -rw-r--r-- root/root 172 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_bool.cmx -rw-r--r-- root/root 1336 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_bool.ml -rw-r--r-- root/root 190 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_debug.cmi -rw-r--r-- root/root 173 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_debug.cmx -rw-r--r-- root/root 543 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_debug.ml -rw-r--r-- root/root 1426 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_either.cmi -rw-r--r-- root/root 1961 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_either.cmx -rw-r--r-- root/root 3014 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_either.ml -rw-r--r-- root/root 1073 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_function.cmi -rw-r--r-- root/root 1256 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_function.cmx -rw-r--r-- root/root 1542 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_function.ml -rw-r--r-- root/root 915 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_function_extra.cmi -rw-r--r-- root/root 889 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_function_extra.cmx -rw-r--r-- root/root 274 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_function_extra.ml -rw-r--r-- root/root 3714 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_list.cmi -rw-r--r-- root/root 5683 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_list.cmx -rw-r--r-- root/root 25871 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_list.ml -rw-r--r-- root/root 1482 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_list_extra.cmi -rw-r--r-- root/root 1364 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_list_extra.cmx -rw-r--r-- root/root 2999 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_list_extra.ml -rw-r--r-- root/root 12801 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_machine_word.cmi -rw-r--r-- root/root 11648 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_machine_word.cmx -rw-r--r-- root/root 35568 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_machine_word.ml -rw-r--r-- root/root 1808 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_map.cmi -rw-r--r-- root/root 2214 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_map.cmx -rw-r--r-- root/root 8244 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_map.ml -rw-r--r-- root/root 1392 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_map_extra.cmi -rw-r--r-- root/root 1289 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_map_extra.cmx -rw-r--r-- root/root 2624 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_map_extra.ml -rw-r--r-- root/root 1140 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_maybe.cmi -rw-r--r-- root/root 2410 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_maybe.cmx -rw-r--r-- root/root 3452 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_maybe.ml -rw-r--r-- root/root 948 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_maybe_extra.cmi -rw-r--r-- root/root 1138 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_maybe_extra.cmx -rw-r--r-- root/root 339 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_maybe_extra.ml -rw-r--r-- root/root 5501 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_num.cmi -rw-r--r-- root/root 18634 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_num.cmx -rw-r--r-- root/root 29831 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_num.ml -rw-r--r-- root/root 1276 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_num_extra.cmi -rw-r--r-- root/root 1229 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_num_extra.cmx -rw-r--r-- root/root 1532 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_num_extra.ml -rw-r--r-- root/root 21549 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_pervasives.cmi -rw-r--r-- root/root 58298 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_pervasives.cmx -rw-r--r-- root/root 312 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_pervasives.ml -rw-r--r-- root/root 36553 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_pervasives_extra.cmi -rw-r--r-- root/root 71985 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_pervasives_extra.cmx -rw-r--r-- root/root 337 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_pervasives_extra.ml -rw-r--r-- root/root 3603 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_relation.cmi -rw-r--r-- root/root 4390 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_relation.cmx -rw-r--r-- root/root 20599 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_relation.ml -rw-r--r-- root/root 1786 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_set.cmi -rw-r--r-- root/root 2022 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_set.cmx -rw-r--r-- root/root 11344 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_set.ml -rw-r--r-- root/root 1477 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_set_extra.cmi -rw-r--r-- root/root 1663 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_set_extra.cmx -rw-r--r-- root/root 4410 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_set_extra.ml -rw-r--r-- root/root 909 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_set_helpers.cmi -rw-r--r-- root/root 886 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_set_helpers.cmx -rw-r--r-- root/root 1484 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_set_helpers.ml -rw-r--r-- root/root 1716 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_show.cmi -rw-r--r-- root/root 2232 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_show.cmx -rw-r--r-- root/root 1719 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_show.ml -rw-r--r-- root/root 1773 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_show_extra.cmi -rw-r--r-- root/root 1813 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_show_extra.cmx -rw-r--r-- root/root 1946 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_show_extra.ml -rw-r--r-- root/root 1433 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_sorting.cmi -rw-r--r-- root/root 1275 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_sorting.cmx -rw-r--r-- root/root 2549 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_sorting.ml -rw-r--r-- root/root 1019 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_string.cmi -rw-r--r-- root/root 1001 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_string.cmx -rw-r--r-- root/root 1433 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_string.ml -rw-r--r-- root/root 1635 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_string_extra.cmi -rw-r--r-- root/root 2055 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_string_extra.cmx -rw-r--r-- root/root 2913 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_string_extra.ml -rw-r--r-- root/root 715 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_tuple.cmi -rw-r--r-- root/root 698 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_tuple.cmx -rw-r--r-- root/root 914 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_tuple.ml -rw-r--r-- root/root 5861 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_word.cmi -rw-r--r-- root/root 12544 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_word.cmx -rw-r--r-- root/root 25281 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/lem_word.ml -rw-r--r-- root/root 2210 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/nat_big_num.cmi -rw-r--r-- root/root 3944 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/nat_big_num.cmx -rw-r--r-- root/root 1797 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/nat_big_num.ml -rw-r--r-- root/root 2189 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/nat_big_num.mli -rw-r--r-- root/root 700 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/nat_num.cmi -rw-r--r-- root/root 2197 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/nat_num.cmx -rw-r--r-- root/root 682 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/nat_num.ml -rw-r--r-- root/root 329 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/nat_num.mli -rw-r--r-- root/root 2070 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/pmap.cmi -rw-r--r-- root/root 5021 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/pmap.cmx -rw-r--r-- root/root 9947 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/pmap.ml -rw-r--r-- root/root 8065 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/pmap.mli -rw-r--r-- root/root 3096 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/pset.cmi -rw-r--r-- root/root 5739 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/pset.cmx -rw-r--r-- root/root 14867 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/pset.ml -rw-r--r-- root/root 7487 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/pset.mli -rw-r--r-- root/root 1383 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/rational.cmi -rw-r--r-- root/root 1923 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/rational.cmx -rw-r--r-- root/root 430 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/rational.ml -rw-r--r-- root/root 579 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/rational.mli -rw-r--r-- root/root 2558 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/rational_impl.cmi -rw-r--r-- root/root 4293 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/rational_impl.cmx -rw-r--r-- root/root 1740 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/rational_impl.mli -rw-r--r-- root/root 1085 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/vector.cmi -rw-r--r-- root/root 2033 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/vector.cmx -rw-r--r-- root/root 1026 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/vector.ml -rw-r--r-- root/root 670 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/vector.mli -rw-r--r-- root/root 459 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/xstring.cmi -rw-r--r-- root/root 905 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/xstring.cmx -rw-r--r-- root/root 546 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/xstring.ml -rw-r--r-- root/root 174 2024-06-22 23:39 ./usr/lib/x86_64-linux-gnu/ocaml/5.2.0/lem_zarith/xstring.mli drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/share/ drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/share/doc/ drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/share/doc/liblem-ocaml-dev/ -rw-r--r-- root/root 159 2024-06-22 23:39 ./usr/share/doc/liblem-ocaml-dev/changelog.Debian.gz -rw-r--r-- root/root 8984 2024-06-22 23:39 ./usr/share/doc/liblem-ocaml-dev/copyright drwxr-xr-x root/root 0 2024-06-22 23:39 ./usr/share/doc/liblem-ocaml-dev/examples/ -rw-r--r-- root/root 919 2022-12-10 17:11 ./usr/share/doc/liblem-ocaml-dev/examples/0README drwxr-xr-x root/root 0 2022-12-10 17:11 ./usr/share/doc/liblem-ocaml-dev/examples/cpp/ -rw-r--r-- root/root 92 2022-12-10 17:11 ./usr/share/doc/liblem-ocaml-dev/examples/cpp/0README -rw-r--r-- root/root 83362 2022-12-10 17:11 ./usr/share/doc/liblem-ocaml-dev/examples/cpp/cmm.lem drwxr-xr-x root/root 0 2022-12-10 17:11 ./usr/share/doc/liblem-ocaml-dev/examples/ocaml_light/ -rw-r--r-- root/root 148 2022-12-10 17:11 ./usr/share/doc/liblem-ocaml-dev/examples/ocaml_light/0README -rw-r--r-- root/root 229 2022-12-10 17:11 ./usr/share/doc/liblem-ocaml-dev/examples/ocaml_light/Makefile -rw-r--r-- root/root 150619 2022-12-10 17:11 ./usr/share/doc/liblem-ocaml-dev/examples/ocaml_light/caml_typedef.lem -rw-r--r-- root/root 26754 2022-12-10 17:11 ./usr/share/doc/liblem-ocaml-dev/examples/ocaml_light/caml_typedef_reduction.ott -rw-r--r-- root/root 91566 2022-12-10 17:11 ./usr/share/doc/liblem-ocaml-dev/examples/ocaml_light/caml_typedef_syntax.ott -rw-r--r-- root/root 48151 2022-12-10 17:11 ./usr/share/doc/liblem-ocaml-dev/examples/ocaml_light/caml_typedef_typing.ott drwxr-xr-x root/root 0 2024-06-22 23:39 ./var/ drwxr-xr-x root/root 0 2024-06-22 23:39 ./var/lib/ drwxr-xr-x root/root 0 2024-06-22 23:39 ./var/lib/ocaml/ drwxr-xr-x root/root 0 2024-06-22 23:39 ./var/lib/ocaml/lintian/ -rw-r--r-- root/root 345 2024-06-22 23:39 ./var/lib/ocaml/lintian/liblem-ocaml-dev.info drwxr-xr-x root/root 0 2024-06-22 23:39 ./var/lib/ocaml/md5sums/ -rw-r--r-- root/root 11120 2024-06-22 23:39 ./var/lib/ocaml/md5sums/liblem-ocaml-dev.md5sums |
copyright of liblem-ocaml-dev_2022-12-10+dfsg2-1_amd64.deb (click to toggle) | |
---|---|
NOTE: Copyright is the same as lem (lem_2022-12-10+dfsg2-1_amd64.deb). Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: lem Upstream-Contact: Lem Devs <cl-lem-dev@lists.cam.ac.uk> Source: https://github.com/rems-project/lem Files-Excluded: doc/built-doc/html-doc/*.html doc/built-doc/*.html doc/built-doc/*.pdf doc/lem-draft.pdf ocaml-lib/dependencies manual examples/ppcmem-model Files: * Copyright: 2010-2024 Dominic Mulligan, Kathryn E. Gray, Scott Owens, Peter Sewell, Thomas Tuerk, Basile Clement, Brian Campbell, Christopher Pulte, David Sheets, Fabian Immler Frederic Loulergue, Francesco Zappa Nardelli. Gabriel Kerneis, James Lingard, Jean Pichon-Pharabod, Justus Matthiesen, Kayvan Memarian, Kyndylan Nienhuis, Lars Hupel, Mark Batty, Michael Greenberg Michael Norrish, Ohad Kammar, Peter Boehm, Robert Norton Sami Mäkelä, Shaked Flur Stephen Kell, Thibaut Pérami, Thomas Bauereiss, Thomas Williams, Victor Gomes, emersion. License: BSD-3-clause Files: coq-lib/coqharness.v etc/header isabelle-lib/Lem.thy isabelle-lib/LemExtraDefs.thy src/ast_util.* src/backend.* src/backend_common.* src/convert_relations.ml src/coq_backend.ml src/coq_backend_utils.ml src/debug.ml src/def_trans.* src/default_values.ml src/external_constants.ml src/finite_map.ml src/ident.* src/initial_env.* src/lexer.mll src/macro_expander.* src/main.* src/module_dependencies.* src/name.* src/nvar.* src/output.* src/parser.mly src/path.* src/pattern_syntax.* src/patterns.* src/pcombinators.* src/pp.* src/precedence.* src/process_file.* src/rename_top_level.* src/reporting.* src/reporting_basic.* src/seplist.* src/syntactic_tests.* src/target.* src/target_binding.* src/target_syntax.* src/target_trans.* src/trans.* src/typecheck.* src/typecheck_ctxt.* src/typed_ast.* src/typed_ast_syntax.* src/types.* src/tyvar.* src/util.* Copyright: 2010-2018 Dominic Mulligan, University of Cambridge 2010-2018 Francesco Zappa Nardelli, INRIA Paris-Rocquencourt 2010-2018 Gabriel Kerneis, University of Cambridge 2010-2018 Kathy Gray, University of Cambridge 2010-2018 Peter Boehm, University of Cambridge (while working on Lem) 2010-2018 Peter Sewell, University of Cambridge 2010-2018 Scott Owens, University of Kent 2010-2018 Thomas Tuerk, University of Cambridge 2010-2018 Brian Campbell, University of Edinburgh 2010-2018 Shaked Flur, University of Cambridge 2010-2018 Thomas Bauereiss, University of Cambridge 2010-2018 Stephen Kell, University of Cambridge 2010-2018 Thomas Williams 2010-2018 Lars Hupel 2010-2018 Basile Clement 2010-2018, Institut National de Recherche en Informatique et en Automatique (INRIA) License: BSD-3-clause Files: examples/cpp/cmm.lem hol-lib/lemLib.sml hol-lib/lemScript.sml tests/backends/HolDoc.* Copyright: 2011-2012 Mark Batty 2011-2012 Scott Owens 2011-2012 Jean Pichon 2011-2012 Susmit Sarkar 2011-2012 Peter Sewell 2010-2013 Dominic Mulligan, University of Cambridge 2010-2013 Francesco Zappa Nardelli, INRIA Paris-Rocquencourt 2010-2013 Gabriel Kerneis, University of Cambridge 2010-2013 Kathy Gray, University of Cambridge 2010-2013 Peter Boehm, University of Cambridge (while working on Lem) 2010-2013 Peter Sewell, University of Cambridge 2010-2013 Scott Owens, University of Kent 2010-2013 Thomas Tuerk, University of Cambridge 2010-2013 Institut National de Recherche en Informatique et en Automatique (INRIA) 2007-2008 Jade Alglave, Moscova project, INRIA Paris-Rocquencourt 2007-2008 Anthony Fox, Computer Laboratory, University of Cambridge 2007-2008 Samin Isthiaq, Microsoft Research Cambridge 2007-2008 Magnus Myreen, Computer Laboratory, University of Cambridge 2007-2008 Susmit Sarkar, Computer Laboratory, University of Cambridge 2007-2008 Peter Sewell, Computer Laboratory, University of Cambridge 2007-2008 Francesco Zappa Nardelli, Moscova project, INRIA Paris-Rocquencourt License: BSD-3-clause Files: ocaml-lib/pmap.mli ocaml-lib/pmap.ml ocaml-lib/pset.mli ocaml-lib/pset.ml ocaml-lib/pset_using_lists.ml src/ulib/batUChar.ml src/ulib/batUChar.mli src/ulib/batUTF8.ml src/ulib/batUTF8.mli Copyright: 1996 Xavier Leroy, projet Cristal, INRIA Rocquencourt License: LGPL-2-with-linking-exception Files: src/ulib/batReturn.* src/ulib/batText.ml src/ulib/batText.mli Copyright: 2008 David Teller 2012 The Batteries Included Team 2007 Mauricio Fernandez <mfp@acm.org> 2008 Edgar Friendly <thelema314@gmail.com> 2008 David Teller, LIFO, Universite d'Orleans 2012 The Batteries Included Team 2011 Yoriyuki Yamagata <yoriyuki.y@gmail.com> 2007 Mauricio Fernandez <mfp@acm.org> 2002-2004 Yamagata Yoriyuki License: LGPL-2.1+-with-linking-exception Files: debian/* Copyright: 2024 Bo YU <tsu.yubo@gmail.com> License: BSD-3-clause License: BSD-3-clause Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: 1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. 2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution. 3. The names of the authors may not be used to endorse or promote products derived from this software without specific prior written permission. . THIS SOFTWARE IS PROVIDED BY THE AUTHORS ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. License: LGPL-2 This package is free software; you can redistribute it and/or modify it under the terms of the GNU Library General Public License version 2 as published by the Free Software Foundation. . On Debian systems, the full text of the LGPL License can be found in the file `/usr/share/common-licenses/LGPL-2'. License: LGPL-2-with-linking-exception The Library is distributed under the terms of the GNU Library General Public License version 2. . On Debian systems, the complete text of the GNU Library General Public License version 2 can be found in `/usr/share/common-licenses/LGPL-2'. . As a special exception to the GNU Library General Public License, you may link, statically or dynamically, a "work that uses the Library" with a publicly distributed version of the Library to produce an executable file containing portions of the Library, and distribute that executable file under terms of your choice, without any of the additional requirements listed in clause 6 of the GNU Library General Public License. By "a publicly distributed version of the Library", we mean either the unmodified Library as distributed by INRIA, or a modified version of the Library that is distributed under the conditions defined in clause 2 of the GNU Library General Public License. This exception does not however invalidate any other reasons why the executable file might be covered by the GNU Library General Public License. License: LGPL-2.1+-with-linking-exception The Library is distributed under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 2.1, or (at your option any later version), with the special exception on linking reported above. . As a special exception to the GNU Lesser General Public License, you may link, statically or dynamically, a "work that uses the Library" with a publicly distributed version of the Library to produce an executable file containing portions of the Library, and distribute that executable file under terms of your choice, without any of the additional requirements listed in clause 6 of the GNU Lesser General Public License. By "a publicly distributed version of the Library", we mean either the unmodified Library as distributed by the authors, or a modified version of the Library that is distributed under the conditions defined in clause 3 of the GNU Lesser General Public License. This exception does not however invalidate any other reasons why the executable file might be covered by the GNU Lesser General Public License. . The full text of the GNU Lessere General Public License version 2.1 can be found in `/usr/share/common-licenses/LGPL-2.1'. |
Timestamp: 08.09.2024 / 18:14:02 (UTC)