Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Octocat-spinner-32-eaf2f5

Cannot retrieve contributors at this time

file 12 lines (11 sloc) 0.409 kb
1 2 3 4 5 6 7 8 9 10 11
<?xml version="1.0" encoding="UTF-8"?>
<repositories version="1.0">
  <repo priority="50" quality="experimental" status="unofficial">
    <name>proof</name>
    <description>A overlay to provide ebuilds for automated provers.</description>
    <owner>
      <email>mrty.ityt.pt@gmail.com</email>
    </owner>
<source type="git">git://github.com/na4zagin3/proof-overlay.git</source>
  </repo>
</repositories>
Something went wrong with that request. Please try again.