Linux workstation

openSUSE Leap 16.0 native package

texlive-vdmlisting

Composition de VDM en syntaxe ASCII

Packages / openSUSE Leap 16.0 / Productivity/Publishing/TeX/Base / texlive-vdmlisting

[Source: texlive-specs-y]

Package: texlive-vdmlisting (2025.221.1.1svn56905-160000.3.1)

External Resources:

Homepage: [www.tug.org]

Similar packages:

Composition de VDM en syntaxe ASCII

Le paquet est une extension du paquet listings qui fournit un imprimeur de code source pour LaTeX. Ce paquet définit de nouvelles définitions de langage et des environnements de listing pour les trois dialectes du Vienna Development Method : VDM-SL, VDM-PP et VDM-RT. Si l'on souhaite composer VDM avec une syntaxe mathématique plutôt que la syntaxe ASCII utilisée ici, on doit utiliser le paquet vdm à la place

Other Packages Related to texlive-vdmlisting:

  • dep: /bin/sh

    Package not available

  • dep: /bin/sh

    Package not available

  • dep: /bin/sh

    Package not available

  • dep: [coreutils]

    GNU Core Utilities

  • dep: [coreutils]

    GNU Core Utilities

  • dep: [coreutils]

    GNU Core Utilities

  • dep: [ed]

    Un éditeur de texte orienté ligne

  • dep: [findutils]

    Les versions GNU des utilitaires find (find et xargs)

  • dep: [grep]

    Afficher les lignes correspondant à un motif

  • dep: [sed]

    Un éditeur de texte non interactif orienté flux

  • dep: tex(color.sty)

    Package not available

  • dep: tex(listings.sty)

    Package not available

  • dep: tex(times.sty)

    Package not available

  • dep: [texlive] (>= 2025)

    Le système de formatage TeXLive

  • dep: [texlive-filesystem] (>= 2025)

    Système de fichiers de base de TeX Live

  • dep: [texlive-filesystem] (>= 2025)

    Système de fichiers de base de TeX Live

  • dep: [texlive-filesystem] (>= 2025)

    Système de fichiers de base de TeX Live

  • dep: [texlive-kpathsea] (>= 2025)

    Bibliothèque de recherche de chemins pour fichiers liés à TeX

  • dep: [texlive-kpathsea-bin] (>= 2025)

    Fichiers binaires de kpathsea

  • dep: [texlive-scripts] (>= 2025)

    Programmes d'infrastructure de TeX Live

  • dep: [texlive-scripts-bin] (>= 2025)

    Fichiers binaires de texlive-scripts

Download texlive-vdmlisting

ArchitecturePackage SizeInstalled SizeFiles
noarch55 KiB9.4 KiB[list of files]

Chemins de fichiers du paquet (1)

Paths come from the repository package-file index for the observed builds. They describe archive/package associations, not every file that will exist on a running system after maintainer scripts, alternatives, generated state, diversions, or installation choices.

  • /usr/share/texmf/tex/latex/vdmlisting/vdmlisting.sty

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

Utiliser ce paquet

OpenFactory peut démarrer ce système d'exploitation dans une machine virtuelle du navigateur, ou lancer une construction qui inclut le nom natif du paquet de cet enregistrement.

Essayer openSUSE Leap 16.0 dans le navigateurConstruire une image qui inclut texlive-vdmlisting

Versions, suites et dépôts

Chaque ligne est une métadonnée d'index pour une version, une architecture, une suite et un dépôt. Noms, URL et tailles viennent de la source ; un lien est un emplacement de récupération mutable, pas une redistribution OpenFactory.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
2025.221.1.1svn56905-160000.3.1leap-16.0 / ossnoarchopenSUSE Leap 16.0 · OSS · multi-architecture55 KiB9.4 KiBnoarch/texlive-vdmlisting-2025.221.1.1svn56905-160000.3.1.noarch.rpm
2024.216.1.1svn56905-160000.2.2leap-16.0 / ossnoarchopenSUSE Leap 16.0 · OSS · multi-architecture55 KiB9.4 KiBnoarch/texlive-vdmlisting-2024.216.1.1svn56905-160000.2.2.noarch.rpm

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

Empreintes et dates d'observation

For an APT source, signature verification authenticates the repository metadata chain and the Packages index containing this source-reported artifact digest. It does not certify package safety.

2025.221.1.1svn56905-160000.3.1 / noarchObserved Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha512: d6dc6a514296f4f974385cd0723773773b4634326eea380b9faf56c59643040fdfb4972f4264ab5429109f8596bd13cde8a5665d3f2a6594774e7cdfc36b34df

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

2024.216.1.1svn56905-160000.2.2 / noarchObserved Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha512: 7f1dcdb96e68c1c8e957572d12bd2813d05e65a392974443c601d40e47a983bebf7133afc05b382de0d06a88af8517e8a59487e33fdb6a5762847846fc80fdeb

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

Complétude de la fiche

The completeness score measures metadata coverage, not software quality, security, compatibility, or suitability.

Summary and description
25/25
Artifact path and source digest
25/25
Dependency metadata
15/15
Package-file index
15/15
Homepage
5/5
License text
5/5
Source package or maintainer
10/10

Recorded total: 100/100

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Sources et provenance

Field-source links above resolve here. Each source entry names the metadata publisher, trust tier, exact snapshot revision, signature result, and observation time; catalog-derived mappings are labeled separately.

  • openSUSE Leap 16.0 OSSSep 1, 2026

    Authoritative source; repository metadata signature verified, revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

    Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.

    Repository-signature verification record
    Signed-object SHA-256
    271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c
    Signer fingerprint
    AD485664E901B867051AB15F35A2F86E29B700A4
    Keyring revision
    opensuse-project-signing-key.asc
    SHA-256 b5745739ebfb95b25b8e810f9bcb847fe750ccda598bd85f02f0e974599a6d7e
    Tool and policy
    gpgv (GnuPG) 2.4.9
    openfactory-software-catalog-signature-v1
    Verification time
    Sep 1, 2026
    Signed Release → package-index hash linkage

    Path: Not recorded
    Expected SHA-256: Not recorded
    Observed SHA-256: Not recorded
    Result: match verified

texlive-vdmlisting Package for openSUSE Leap 16.0 | OpenFactory