Packages / Fedora 44 / Unspecified / texlive-semantex

[Source: texlive-collection-latexextra]

Package: texlive-semantex (12:svn76924-6.fc44)

Semantic, keyval-based mathematics

The SemanTeX package for LaTeX delivers a more semantic, systematized way of writing mathematics, compared to the classical math syntax in LaTeX. The system uses keyval syntax, and the user can define their own keys and customize the system down to the last detail. At the same time, care has been taken to make the syntax as simple, natural, practical, and lightweight as possible. Furthermore, the package has a companion package, called stripsemantex, which allows you to completely strip your documents of SemanTeX markup to prepare them e.g. for publication. The package is still in beta, but is considered feature-complete and more or less stable, so using it at this point should be safe. Still, suggestions, ideas, and bug reports are more than welcome!

Other Packages Related to texlive-semantex:

  • dep: tex(leftindex.sty)

    Package not available

  • dep: tex(semtex.sty)

    Package not available

  • dep: tex(xparse.sty)

    Package not available

  • dep: [texlive-base]

    TeX formatting system

  • dep: [texlive-kpathsea]

    Path searching library for TeX-related files

  • dep: [texlive-semtex]

    Deals with stripped SemanTeX documents

Download texlive-semantex

ArchitecturePackage sizeInstalled sizeFilesPackage
noarch448 KiB897 KiBlist of filesDownload

Package file paths (10)

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/licenses/texlive-semantex
  • /usr/share/licenses/texlive-semantex/lppl1.3c.txt
  • /usr/share/texlive/texmf-dist/doc/latex/semantex
  • /usr/share/texlive/texmf-dist/doc/latex/semantex/README.md
  • /usr/share/texlive/texmf-dist/doc/latex/semantex/semantex.pdf
  • /usr/share/texlive/texmf-dist/doc/latex/semantex/semantex.tex
  • /usr/share/texlive/texmf-dist/tex/latex/semantex
  • /usr/share/texlive/texmf-dist/tex/latex/semantex/semantex.sty
  • /usr/share/texlive/texmf-dist/tex/latex/semantex/stripsemantex.lua
  • /usr/share/texlive/texmf-dist/tex/latex/semantex/stripsemantex.sty

Field source: Fedora 44 updates x86_64 revision 44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419

Use this package

OpenFactory can boot this operating system in a browser VM, or start a build that includes the native package name from this record.

Try Fedora 44 in the browserBuild an image that includes texlive-semantex

Versions, suites, and repositories

Each row is recorded package-index metadata for one version, architecture, suite, and repository. Names, URLs, and sizes are source-reported; a link is a potentially mutable retrieval location, not an OpenFactory redistribution claim or proof that OpenFactory retained the artifact bytes.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
12:svn76924-6.fc4444 / updatesnoarchFedora 44 · updates · x86_64448 KiB897 KiBPackages/t/texlive-semantex-svn76924-6.fc44.noarch.rpm
12:svn76924-6.fc4444 / updatesnoarchFedora 44 · updates · aarch64448 KiB897 KiBPackages/t/texlive-semantex-svn76924-6.fc44.noarch.rpm
12:svn76924-4.fc4444 / everythingnoarchFedora 44 · Everything · x86_64448 KiB897 KiBPackages/t/texlive-semantex-svn76924-4.fc44.noarch.rpm
12:svn76924-4.fc4444 / everythingnoarchFedora 44 · Everything · aarch64448 KiB897 KiBPackages/t/texlive-semantex-svn76924-4.fc44.noarch.rpm

Field source: Fedora 44 updates x86_64 revision 44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419

Checksums and observation dates

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.

12:svn76924-6.fc44 / 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 sha256: 5f312d2d9ee003dc39b788ae5fef01a3980f6a68bf98cdce53019a126648c1b7

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s %s\n' '5f312d2d9ee003dc39b788ae5fef01a3980f6a68bf98cdce53019a126648c1b7' 'texlive-semantex-svn76924-6.fc44.noarch.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 44 updates x86_64 revision 44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419

12:svn76924-6.fc44 / 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 sha256: 5f312d2d9ee003dc39b788ae5fef01a3980f6a68bf98cdce53019a126648c1b7

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s %s\n' '5f312d2d9ee003dc39b788ae5fef01a3980f6a68bf98cdce53019a126648c1b7' 'texlive-semantex-svn76924-6.fc44.noarch.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 44 updates aarch64 revision 44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b

12:svn76924-4.fc44 / 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 sha256: bddc9a1f3fd9633570cec3f6c43ce739b00808962a4185b4d26e7e97ef6fc53f

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s %s\n' 'bddc9a1f3fd9633570cec3f6c43ce739b00808962a4185b4d26e7e97ef6fc53f' 'texlive-semantex-svn76924-4.fc44.noarch.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 44 Everything x86_64 revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991

12:svn76924-4.fc44 / 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 sha256: bddc9a1f3fd9633570cec3f6c43ce739b00808962a4185b4d26e7e97ef6fc53f

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s %s\n' 'bddc9a1f3fd9633570cec3f6c43ce739b00808962a4185b4d26e7e97ef6fc53f' 'texlive-semantex-svn76924-4.fc44.noarch.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 44 Everything aarch64 revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee

Sources and 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.

  • Fedora 44 Everything aarch64Sep 1, 2026

    Authoritative source; repository metadata signature verified, revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee

    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
    236514c32119ab3c85b81fbb9e5e9d92b07aeba0d19d64c9b4fc9117a1863769
    Signer fingerprint
    Not recorded
    Keyring revision
    RPM-GPG-KEY-fedora-44-primary
    SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
    Tool and policy
    1
    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

  • Fedora 44 Everything x86_64Sep 1, 2026

    Authoritative source; repository metadata signature verified, revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991

    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
    1300b99ac5d04b5561ad901320c8bd59ed1553f4971c3ce2ca48c40242c66676
    Signer fingerprint
    Not recorded
    Keyring revision
    RPM-GPG-KEY-fedora-44-primary
    SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
    Tool and policy
    1
    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

  • Fedora 44 updates aarch64Sep 1, 2026

    Authoritative source; repository metadata signature verified, revision 44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b

    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
    2ec0ba92e556309075d8efe3c3301b36bb7ecd47c4e17566f0192c9c5436ed5f
    Signer fingerprint
    Not recorded
    Keyring revision
    RPM-GPG-KEY-fedora-44-primary
    SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
    Tool and policy
    1
    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

  • Fedora 44 updates x86_64Sep 1, 2026

    Authoritative source; repository metadata signature verified, revision 44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419

    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
    a69a0ab020457a7af2515066b7caccb3950bcf9dc7bedb52b1850098d9857ae1
    Signer fingerprint
    Not recorded
    Keyring revision
    RPM-GPG-KEY-fedora-44-primary
    SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
    Tool and policy
    1
    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