Discussions

• 1 You must be logged in to vote

  💬

  Epkg v4.0.0 released

  tarsius started Aug 12, 2024 in General

  

  

  0
• 1 You must be logged in to vote

  🙏

  epkg-update gives Please update the ‘epkg’ package. The installed version is too old for the current database scheme.

  pedz asked Dec 21, 2023 in Q&A · Unanswered

  

  

  4
• 1 You must be logged in to vote

  🙏

  how to use the new version epkg with borg

  capfredf asked Jan 9, 2022 in Q&A · Answered

  

  

  3
• 1 You must be logged in to vote

  🙏

  The features of proof-general doesn't seem to be "browsable" in epkg.

  erikmd asked Dec 6, 2021 in Q&A · Answered

  

  

  4
• 1 You must be logged in to vote

  💬

  Epkg v3.3.0 released

  tarsius started May 30, 2021 in General

  

  

  0