versions/m-/minisat-master-keying.json


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

{
  "versions": [
    {
      "git-tree": "e7f174538407ae3f279ab4c7d2025a8545d220c9",
      "version": "2.3.6",
      "port-version": 0
    },
    {
      "git-tree": "175ab6a87c6a80cbbd2ff26c976c17cab6e8fff6",
      "version-string": "2.2-mod",
      "port-version": 3
    },
    {
      "git-tree": "e81450d91579aa1a04809cc891ed2c43cd26e86e",
      "version-string": "2.2-mod-2",
      "port-version": 0
    },
    {
      "git-tree": "db459cec0c867d26462d4d6dea430a824826e65c",
      "version-string": "2.2-mod-1",
      "port-version": 0
    }
  ]
}