Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

texlive-tex-ewd-svn15878-2.fc45 RPM for noarch

From Fedora Rawhide for ppc64le / t

Name: texlive-tex-ewd Distribution: Fedora Project
Version: svn15878 Vendor: Fedora Project
Release: 2.fc45 Build date: Wed Apr 29 21:59:51 2026
Group: Unspecified Build host: buildvm-x86-18.rdu3.fedoraproject.org
Size: 29541 Source RPM: texlive-collection-mathscience-svn78771-2.fc45.src.rpm
Packager: Fedora Project
Url: http://tug.org/texlive/
Summary: Macros to typeset calculational proofs and programs in Dijkstra's style
 
Edsger W. Dijkstra and others suggest a unique style to present mathematical
proofs and to construct programs. This package provides macros that support
calculational proofs and Dijkstra's "guarded command language".

Provides

Requires

License

BSD-3-Clause

Changelog

* Wed Apr 29 2026 Tom Callaway <spot@fedoraproject.org> - 12:svn78771-2
  - Update collection from svn77561 to svn78771
  - Add chempid
  - Add dnsrecord
  - Add fits-astro
  - Add glmatrix
  - Add mohelper
  - Add mystyletau
  - Add query-astro
  - Add quickderivs
  - Add register-transfer-level
  - Add statementsp
  - Update 70 components
* Tue Feb 10 2026 Tom Callaway <spot@fedoraproject.org> - 12:svn77561-2
  - Update to svn77561
* Thu Jan 29 2026 Tom Callaway <spot@fedoraproject.org> - 12:svn77507-1
  - update to svn77507, fix descriptions, licensing, update components
* Wed Oct 08 2025 Tom Callaway <spot@fedoraproject.org> - 12:svn76005-2
  - regen, no deps from docs
* Tue Sep 16 2025 Tom Callaway <spot@fedoraproject.org> - 12:svn76005-1
  - Update to TeX Live 2025

Files

/usr/share/licenses/texlive-tex-ewd
/usr/share/licenses/texlive-tex-ewd/bsd.txt
/usr/share/texlive/texmf-dist/doc/generic/tex-ewd
/usr/share/texlive/texmf-dist/doc/generic/tex-ewd/README
/usr/share/texlive/texmf-dist/doc/generic/tex-ewd/bsdlic.txt
/usr/share/texlive/texmf-dist/doc/generic/tex-ewd/p0.tex
/usr/share/texlive/texmf-dist/doc/generic/tex-ewd/t1.tex
/usr/share/texlive/texmf-dist/tex/generic/tex-ewd
/usr/share/texlive/texmf-dist/tex/generic/tex-ewd/dotnot.tex

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jul 21 00:13:59 2026