Packages / openSUSE Leap 16.0 / Productivity/Publishing/TeX/Base / texlive-proof-at-the-end

Package: texlive-proof-at-the-end (2025.221.svn69602-160000.3.1)

Un pacchetto per spostare le dimostrazioni in appendice

Questo pacchetto mira a fornire un modo per spostare facilmente le dimostrazioni in appendice. È possibile (tra le altre cose) spostare le dimostrazioni in posti/sezioni diversi, creare collegamenti dai teoremi alle dimostrazioni, riformulare i teoremi, aggiungere commenti in appendice...

Other Packages Related to texlive-proof-at-the-end:

  • 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 editor di testo orientato alle righe

  • dep: [findutils]

    Le versioni GNU delle utilità find (find e xargs)

  • dep: [grep]

    Stampare le righe che corrispondono a un modello

  • dep: [sed]

    Un editor di testo non interattivo orientato ai flussi

  • dep: tex(catchfile.sty)

    Package not available

  • dep: tex(etoolbox.sty)

    Package not available

  • dep: tex(hyperref.sty)

    Package not available

  • dep: tex(kvoptions.sty)

    Package not available

  • dep: tex(pgfkeys.sty)

    Package not available

  • dep: tex(thm-restate.sty)

    Package not available

  • dep: tex(thmtools.sty)

    Package not available

  • dep: tex(xparse.sty)

    Package not available

  • dep: [texlive] (>= 2025)

    Il sistema di formattazione TeXLive

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

    File system di base di TeX Live

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

    File system di base di TeX Live

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

    File system di base di TeX Live

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

    Libreria di ricerca dei percorsi per file correlati a TeX

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

    File binari di kpathsea

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

    Programmi di infrastruttura di TeX Live

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

    File binari di texlive-scripts

Download texlive-proof-at-the-end

ArchitecturePackage sizeInstalled sizeFilesPackage
noarch60 KiB24 KiBlist of filesDownload

Percorsi file del pacchetto (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/proof-at-the-end/proof-at-the-end.sty

Field source: openSUSE Leap 16.0 OSS

Usa questo pacchetto

OpenFactory può avviare questo sistema operativo in una macchina virtuale del browser, o iniziare una costruzione che include il nome nativo del pacchetto di questo record.

Versioni, suite e repository

Ogni riga è metadato dell'indice pacchetti per una versione, architettura, suite e repository. Nomi, URL e dimensioni arrivano dalla fonte; un link è un punto di recupero mutabile, non una redistribuzione OpenFactory.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
2025.221.svn69602-160000.3.1leap-16.0 / ossnoarchopenSUSE Leap 16.0 · OSS · multi-architecture60 KiB24 KiBnoarch/texlive-proof-at-the-end-2025.221.svn69602-160000.3.1.noarch.rpm
2024.216.svn69602-160000.2.2leap-16.0 / ossnoarchopenSUSE Leap 16.0 · OSS · multi-architecture59 KiB24 KiBnoarch/texlive-proof-at-the-end-2024.216.svn69602-160000.2.2.noarch.rpm

Field source: openSUSE Leap 16.0 OSS

Vulnerabilità note

L’associazione dei pacchetti è in corso.

Ultima sincronizzazione:

[Catalogo CVE]

Checksum

Repository signatures authenticate metadata. Artifact hashing is recorded separately. Neither establishes package safety.

2025.221.svn69602-160000.3.1 / noarchOsservato Sep 1, 2026sha512 46f243b88ef8…52a280beImpronta della fonte

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

Impronta della fonte (sha512): 46f243b88ef8cb774c61539067050c0df1f7046e2bedec01cd3505e0f48a945e84442b8aa88118a41c5e57eccb985731173b4b56fecbd11e01520a4052a280be

Field source: openSUSE Leap 16.0 OSS

2024.216.svn69602-160000.2.2 / noarchOsservato Sep 1, 2026sha512 69be8750db6d…1ca88c04Impronta della fonte

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

Impronta della fonte (sha512): 69be8750db6d48b641dbba95e5ee9c283e9c1f6522911b915785e532ff04d6965927afdbfe966255e38d0fc02a11ac00fd7a7269184c206b139352341ca88c04

Field source: openSUSE Leap 16.0 OSS

Fonti

  • Authoritative source; repository metadata signature verified

    Prova della firma

    leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

    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
    Repository metadata hash linkage
    Result
    Recorded as verified; digest details unavailable