Ubuntu
metamath package

Change logs for metamath source package in Kinetic

  1. Kinetic (22.10)
  2. Change log 
  • metamath (0.195-1) unstable; urgency=medium

  * New upstream release.
  * Bump Standards-Version to 4.5.1.
  * Bump debhelper compat level to 13.

 -- Giovanni Mascellani <email address hidden>  Fri, 01 Jan 2021 11:03:45 +0100