packages Skip to content

» Ubuntu » Packages » Package Search Results

You have searched for packages that names contain minlog in all suites, all sections, and all architectures. Found 3 matching packages.

Exact hits

Package minlog

• jammy (22.04LTS) (math): Proof assistant based on first order natural deduction calculus [universe]
  4.0.99.20100221-7: all
• noble (24.04LTS) (math): Proof assistant based on first order natural deduction calculus [universe]
  4.0.99.20100221-7: all
• plucky (25.04) (math): Proof assistant based on first order natural deduction calculus [universe]
  4.0.99.20100221-7: all
• questing (25.10) (math): Proof assistant based on first order natural deduction calculus [universe]
  4.0.99.20100221-7: all
• resolute (math): Proof assistant based on first order natural deduction calculus [universe]
  4.0.99.20100221-8: all

Other hits

Package libminlog-java

• jammy (22.04LTS) (java): minimal Java logging library [universe]
  1.3.0-1.1: all
• noble (24.04LTS) (java): minimal Java logging library [universe]
  1.3.0-1.1: all
• plucky (25.04) (java): minimal Java logging library [universe]
  1.3.1-1: all
• questing (25.10) (java): minimal Java logging library [universe]
  1.3.1-1: all
• resolute (java): minimal Java logging library [universe]
  1.3.1-1: all

Package libminlog-java-doc

• jammy (22.04LTS) (doc): minimal Java logging library - doc [universe]
  1.3.0-1.1: all
• noble (24.04LTS) (doc): minimal Java logging library - doc [universe]
  1.3.0-1.1: all