texlive-tex-ewd - Macros to typeset calculational proofs and programs in Dijkstra's style

Property Value
Distribution OpenMandriva Lx 2014.2
Repository OpenMandriva Main Release x86_64
Package name texlive-tex-ewd
Package version 20081115
Package release 3-omv2014.0
Package architecture noarch
Package type rpm
Installed size 27.39 KB
Download size 14.30 KB
Official Mirror abf-downloads.openmandriva.org
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".


Package Version Architecture Repository
texlive-tex-ewd-20081115-3-omv2014.0.noarch.rpm 20081115 noarch OpenMandriva Main Release
texlive-tex-ewd - - -


Name Value
texlive-kpathsea -
texlive-tlpkg -


Name Value
texlive-tex-ewd == 20081115-3:2014.0


Type URL
Binary Package texlive-tex-ewd-20081115-3-omv2014.0.noarch.rpm
Source Package texlive-tex-ewd-20081115-3.src.rpm

Install Howto

  1. Enable OpenMandriva Main Release repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install texlive-tex-ewd rpm package:
    # urpmi texlive-tex-ewd




2014-02-08 - Tomasz Pawe? Gajc <tpgxyz@gmail.com> 20081115-3
+ Revision: 2de2559
- MassBuild#328: Increase release tag

See Also

Package Description
texlive-tex-font-errors-cheatsheet-0.1-3-omv2014.0.noarch.rpm Cheat sheet outlining the most common TeX font errors
texlive-tex-gyre-2.004-3-omv2014.0.noarch.rpm TeX Fonts extending freely available URW fonts
texlive-tex-gyre-math-1.008-2-omv2014.0.noarch.rpm Maths fonts to match tex-gyre text fonts
texlive-tex-label-20091214-3-omv2014.0.noarch.rpm Place a classification on each page of a document
texlive-tex-overview-0.1e-3-omv2014.0.noarch.rpm An overview of the development of TeX
texlive-tex-ps-20091010-3-omv2014.0.noarch.rpm TeX to PostScript generic macros and add-ons
texlive-tex-refs-0.3.8-3-omv2014.0.noarch.rpm References for TeX and Friends
texlive-tex-virtual-academy-pl-20111104-3-omv2014.0.noarch.rpm TeXLive tex-virtual-academy-pl package
texlive-tex.bin-20121026-6-omv2014.0.x86_64.rpm binary files of tex
texlive-tex4ht-20101027-4-omv2014.0.noarch.rpm Convert (La)TeX to HTML/XML
texlive-tex4ht.bin-20121026-6-omv2014.0.x86_64.rpm binary files of tex4ht
texlive-texapi-1.04-3-omv2014.0.noarch.rpm Macros to write format-independent packages
texlive-texbytopic-20080824-3-omv2014.0.noarch.rpm Freed version of the book TeX by Topic
texlive-texconfig-20121030-2-omv2014.0.noarch.rpm TeXLive texconfig package
texlive-texcount-2.3-4-omv2014.0.noarch.rpm Count words in a LaTeX document