Debian NEW package overview for mllex-polyml
mllex-polyml_0.0~git20210410.85768e9-1_amd64.changes (click to toggle)
Format:1.8
Date:Mon, 19 May 2025 11:16:24 -0400
Source:mllex-polyml
Binary:mllex-polyml
Architecture:source amd64
Version:0.0~git20210410.85768e9-1
Distribution:unstable
Urgency:medium
Maintainer:Ryan Kavanagh <rak@debian.org>
Changed-By:Ryan Kavanagh <rak@debian.org>
Description:
mllex-polyml - lexical analyzer generator for Standard ML
Closes:1003358
Changes:
mllex-polyml (0.0~git20210410.85768e9-1) unstable; urgency=medium

  * Initial release (Closes: #1003358)
Files:
4b838cb4e3a52fcf1cd71ef106fbab32 2063 devel optional mllex-polyml_0.0~git20210410.85768e9-1.dsc
00712492e930e8c792ac5f2e3d13661c 36548 devel optional mllex-polyml_0.0~git20210410.85768e9.orig.tar.xz
1a3c5689860fb3edcf475d4b1b017eb1 3704 devel optional mllex-polyml_0.0~git20210410.85768e9-1.debian.tar.xz
957cd6eef8c3f8f654afe331f762986a 7673 devel optional mllex-polyml_0.0~git20210410.85768e9-1_amd64.buildinfo
aa53718e993bb5a211d91e387a392191 266796 devel optional mllex-polyml_0.0~git20210410.85768e9-1_amd64.deb
mllex-polyml_0.0~git20210410.85768e9-1.dsc (click to toggle)
Format:3.0 (quilt)
Source:mllex-polyml
Binary:mllex-polyml
Architecture:any
Version:0.0~git20210410.85768e9-1
Maintainer:Ryan Kavanagh <rak@debian.org>
Homepage:https://github.com/eldesh/mllex-polyml
Standards-Version:4.7.2
Vcs-Browser:https://salsa.debian.org/debian/mllex-polyml
Vcs-Git:https://salsa.debian.org/debian/mllex-polyml.git
Build-Depends:chrpath, debhelper-compat (=13), libpolyml-dev, polyml, texlive-latex-base
Package-List:mllex-polyml deb devel optional arch=any
Files:
00712492e930e8c792ac5f2e3d13661c 36548 mllex-polyml_0.0~git20210410.85768e9.orig.tar.xz
1a3c5689860fb3edcf475d4b1b017eb1 3704 mllex-polyml_0.0~git20210410.85768e9-1.debian.tar.xz
lintian 2.104.0 check for mllex-polyml_0.0~git20210410.85768e9-1.dsc (click to toggle)
README.source for mllex-polyml_0.0~git20210410.85768e9-1.dsc (click to toggle)
No README.source in this package
control file for mllex-polyml_0.0~git20210410.85768e9-1_amd64.deb (click to toggle)
Package:mllex-polyml
Version:0.0~git20210410.85768e9-1
Architecture:amd64
Maintainer:Ryan Kavanagh <rak@debian.org>
Installed-Size:575
Depends:libc6 (>=2.34), libpolyml9
Section:devel
Priority:optional
Homepage:https://github.com/eldesh/mllex-polyml
Description:
lexical analyzer generator for Standard ML
 An implementation of mllex ported from mlton to poly/ml.
 .
 Lex allows the programmer to make the language description explicit, and to
 concentrate on what to do with the recognized words, not how to recognize the
 words. It saves programmer time and increases program maintainability.
 Unfortunately, Lex is targeted only C. It also places artificial limits on the
 size of strings that can be recognized.
 .
 ML-Lex is a variant of Lex for the ML programming language. ML-Lex has a
 syntax similar to Lex, and produces an ML program instead of a C program.
 ML-Lex produces a program that runs very efficiently. Typically the program
 will be as fast or even faster than a hand-coded lexer implemented in Standard
 ML.
lintian 2.104.0 check for mllex-polyml_0.0~git20210410.85768e9-1_amd64.deb (click to toggle)
contents of mllex-polyml_0.0~git20210410.85768e9-1_amd64.deb (click to toggle)
drwxr-xr-x root/root         0 2025-05-19 15:16 ./
drwxr-xr-x root/root         0 2025-05-19 15:16 ./usr/
drwxr-xr-x root/root         0 2025-05-19 15:16 ./usr/bin/
-rwxr-xr-x root/root    360224 2025-05-19 15:16 ./usr/bin/mllex-polyml
drwxr-xr-x root/root         0 2025-05-19 15:16 ./usr/share/
drwxr-xr-x root/root         0 2025-05-19 15:16 ./usr/share/doc/
drwxr-xr-x root/root         0 2025-05-19 15:16 ./usr/share/doc/mllex-polyml/
-rw-r--r-- root/root       174 2025-05-19 15:16 ./usr/share/doc/mllex-polyml/changelog.Debian.gz
-rw-r--r-- root/root      3263 2025-05-19 15:16 ./usr/share/doc/mllex-polyml/copyright
-rw-r--r-- root/root    210768 2025-05-19 15:16 ./usr/share/doc/mllex-polyml/lexgen.pdf.gz
drwxr-xr-x root/root         0 2025-05-19 15:16 ./usr/share/doc-base/
-rw-r--r-- root/root       234 2022-07-11 18:19 ./usr/share/doc-base/mllex-polyml.mllex-polyml
drwxr-xr-x root/root         0 2025-05-19 15:16 ./usr/share/man/
drwxr-xr-x root/root         0 2025-05-19 15:16 ./usr/share/man/man1/
-rw-r--r-- root/root       700 2025-05-19 15:16 ./usr/share/man/man1/mllex-polyml.1.gz

Timestamp: 26.05.2025 / 18:02:33 (UTC)