dawan

1
{'description': {'en': 'OCaml and proof-search related ebuilds'},
2
 'feed': ['https://cgit.gentoo.org/user/dawan.git/atom/'],
3
 'homepage': 'https://cgit.gentoo.org/user/dawan.git/',
4
 'name': 'dawan',
5
 'owner': [{'email': 'dawan@melix.net',
6
            'name': 'Quentin Heath',
7
            'type': 'person'}],
8
 'quality': 'experimental',
9
 'source': [{'type': 'git', 'uri': 'git://anongit.gentoo.org/user/dawan.git'},
10
            {'type': 'git',
11
             'uri': 'https://anongit.gentoo.org/git/user/dawan.git'},
12
            {'type': 'git',
13
             'uri': 'git+ssh://git@git.gentoo.org/user/dawan.git'}],
14
 'status': 'unofficial'}
15
$ pmaint sync dawan
16
WARNING:pkgcore:repo at '/home/mgorny/sync/steveeJ' has unsupported profile format: profile-set
17
WARNING:pkgcore:repo at '/home/mgorny/sync/xelnor' has unsupported profile format: profile-set
18
WARNING:pkgcore:repo at '/home/mgorny/sync/xelnor' has unsupported profile format: profile-set
19
WARNING:pkgcore:repo at '/home/mgorny/sync/steveeJ' has unsupported profile format: profile-set
20
Already up-to-date.
21
*** syncing dawan
22
*** synced dawan
23
 * Sync succeeded
24
$ git log --format=%ci -1
25
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 dawan
26
WARNING:pkgcore:repo at '/home/mgorny/repos/steveeJ' has unsupported profile format: profile-set
27
WARNING:pkgcore:repo at '/home/mgorny/repos/xelnor' has unsupported profile format: profile-set
28
WARNING:pkgcore:repo at '/home/mgorny/repos/xelnor' has unsupported profile format: profile-set
29
WARNING:pkgcore:repo at '/home/mgorny/repos/steveeJ' has unsupported profile format: profile-set
30
 * Cache regenerated successfully