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

The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...

The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.

System Arch

RPM resource texlive-ptolemaicastronomy

David K. Lewis (Counterfactuals, Blackwell 1973) introduced a sphere semantics for counterfactual conditionals. He jokingly referred to the diagrams depicting such sphere models as Ptolemaic astronomy, hence the name of this package. The macros provided in this package aid in the construction of sphere model diagrams in the style of Lewis. The macros all make use of TikZ.

Found 4 sites for texlive-ptolemaicastronomy

Found 33 RPM for texlive-ptolemaicastronomy

PackageSummaryDistributionDownload
texlive-ptolemaicastronomy-50810-1.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)OpenMandriva Cooker for x86_64texlive-ptolemaicastronomy-50810-1.noarch.rpm
texlive-ptolemaicastronomy-50810-1.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)OpenMandriva Cooker for aarch64texlive-ptolemaicastronomy-50810-1.noarch.rpm
texlive-ptolemaicastronomy-50810-1.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)OpenMandriva 5.0 for x86_64texlive-ptolemaicastronomy-50810-1.noarch.rpm
texlive-ptolemaicastronomy-50810-1.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)OpenMandriva 5.0 for aarch64texlive-ptolemaicastronomy-50810-1.noarch.rpm
texlive-ptolemaicastronomy-2024.213.1.0svn50810-55.2.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)OpenSuSE Tumbleweed for noarchtexlive-ptolemaicastronomy-2024.213.1.0svn50810-55.2.noarch.rpm
texlive-ptolemaicastronomy-2024.213.1.0svn50810-55.2.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)OpenSuSE Ports Tumbleweed for noarchtexlive-ptolemaicastronomy-2024.213.1.0svn50810-55.2.noarch.rpm
Diagrams of sphere models for variably strict conditionals (Lewis counterfactuals)texlive-ptolemaicastronomy-2024.213.1.0svn50810-55.2.noarch.rpm
texlive-ptolemaicastronomy-2021.189.1.0svn50810-150400.17.1.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)OpenSuSE Leap 15.4 for noarchtexlive-ptolemaicastronomy-2021.189.1.0svn50810-150400.17.1.noarch.rpm
texlive-ptolemaicastronomy-2021.189.1.0svn50810-150400.17.1.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)OpenSuSE Leap 15.5 for noarchtexlive-ptolemaicastronomy-2021.189.1.0svn50810-150400.17.1.noarch.rpm
texlive-ptolemaicastronomy-2021.189.1.0svn50810-150400.17.1.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)OpenSuSE Leap 15.6 for noarchtexlive-ptolemaicastronomy-2021.189.1.0svn50810-150400.17.1.noarch.rpm
texlive-ptolemaicastronomy-svn50810-71.fc40.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)Fedora Rawhide for x86_64texlive-ptolemaicastronomy-svn50810-71.fc40.noarch.rpm
texlive-ptolemaicastronomy-svn50810-71.fc40.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)Fedora Rawhide for aarch64texlive-ptolemaicastronomy-svn50810-71.fc40.noarch.rpm
texlive-ptolemaicastronomy-svn50810-71.fc40.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)Fedora Rawhide for ppc64letexlive-ptolemaicastronomy-svn50810-71.fc40.noarch.rpm
texlive-ptolemaicastronomy-svn50810-71.fc40.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)Fedora Rawhide for s390xtexlive-ptolemaicastronomy-svn50810-71.fc40.noarch.rpm
texlive-ptolemaicastronomy-svn50810-71.fc40.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)Fedora 40 for x86_64texlive-ptolemaicastronomy-svn50810-71.fc40.noarch.rpm
texlive-ptolemaicastronomy-svn50810-71.fc40.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)Fedora 40 for aarch64texlive-ptolemaicastronomy-svn50810-71.fc40.noarch.rpm
texlive-ptolemaicastronomy-svn50810-71.fc40.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)Fedora 40 for ppc64letexlive-ptolemaicastronomy-svn50810-71.fc40.noarch.rpm
texlive-ptolemaicastronomy-svn50810-71.fc40.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)Fedora 40 for s390xtexlive-ptolemaicastronomy-svn50810-71.fc40.noarch.rpm
texlive-ptolemaicastronomy-svn50810-69.fc39.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)Fedora 39 for x86_64texlive-ptolemaicastronomy-svn50810-69.fc39.noarch.rpm
texlive-ptolemaicastronomy-svn50810-69.fc39.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)Fedora 39 for aarch64texlive-ptolemaicastronomy-svn50810-69.fc39.noarch.rpm
texlive-ptolemaicastronomy-svn50810-69.fc39.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)Fedora 39 for ppc64letexlive-ptolemaicastronomy-svn50810-69.fc39.noarch.rpm
texlive-ptolemaicastronomy-svn50810-69.fc39.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)Fedora 39 for s390xtexlive-ptolemaicastronomy-svn50810-69.fc39.noarch.rpm
texlive-ptolemaicastronomy-svn50810-65.fc38.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)Fedora 38 for x86_64texlive-ptolemaicastronomy-svn50810-65.fc38.noarch.rpm
texlive-ptolemaicastronomy-svn50810-65.fc38.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)Fedora 38 for aarch64texlive-ptolemaicastronomy-svn50810-65.fc38.noarch.rpm
texlive-ptolemaicastronomy-svn50810-65.fc38.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)Fedora 38 for ppc64letexlive-ptolemaicastronomy-svn50810-65.fc38.noarch.rpm
texlive-ptolemaicastronomy-svn50810-65.fc38.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)Fedora 38 for s390xtexlive-ptolemaicastronomy-svn50810-65.fc38.noarch.rpm
texlive-ptolemaicastronomy-svn50810-60.fc37.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)Fedora 37 updates for x86_64texlive-ptolemaicastronomy-svn50810-60.fc37.noarch.rpm
texlive-ptolemaicastronomy-svn50810-60.fc37.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)Fedora 37 updates for aarch64texlive-ptolemaicastronomy-svn50810-60.fc37.noarch.rpm
texlive-ptolemaicastronomy-svn50810-60.fc37.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)Fedora 37 updates for armhfptexlive-ptolemaicastronomy-svn50810-60.fc37.noarch.rpm
texlive-ptolemaicastronomy-svn50810-59.fc37.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)Fedora 37 for x86_64texlive-ptolemaicastronomy-svn50810-59.fc37.noarch.rpm
texlive-ptolemaicastronomy-svn50810-59.fc37.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)Fedora 37 for aarch64texlive-ptolemaicastronomy-svn50810-59.fc37.noarch.rpm
texlive-ptolemaicastronomy-svn50810-59.fc37.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)Fedora 37 for ppc64letexlive-ptolemaicastronomy-svn50810-59.fc37.noarch.rpm
texlive-ptolemaicastronomy-svn50810-59.fc37.noarch.htmlDiagrams of sphere models for variably strict conditionals (Lewis counterfactuals)Fedora 37 for s390xtexlive-ptolemaicastronomy-svn50810-59.fc37.noarch.rpm

Generated by rpm2html 1.6

Fabrice Bellet