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',
10
             'uri': 'https://anongit.gentoo.org/git/user/dawan.git'},
11
            {'type': 'git', 'uri': 'git://anongit.gentoo.org/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:'genthree' repo at '/var/lib/repo-mirror-ci/sync/genthree' has unsupported profile format: profile-bashrcs
17
WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/sync/xelnor' has unsupported profile format: build-id
18
WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/sync/xelnor' has unsupported profile format: build-id
19
WARNING:pkgcore:'genthree' repo at '/var/lib/repo-mirror-ci/sync/genthree' has unsupported profile format: profile-bashrcs
20
*** syncing dawan
21
Already up to date.
22
*** synced dawan
23
 * Sync succeeded
24
$ git log --format=%ci -1
25
$ git show -q --pretty=format:%G? HEAD
26
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 dawan
27
WARNING:pkgcore:'genthree' repo at '/var/lib/repo-mirror-ci/repos/genthree' has unsupported profile format: profile-bashrcs
28
WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/repos/xelnor' has unsupported profile format: build-id
29
WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/repos/xelnor' has unsupported profile format: build-id
30
WARNING:pkgcore:'genthree' repo at '/var/lib/repo-mirror-ci/repos/genthree' has unsupported profile format: profile-bashrcs
31
WARNING:pkgcore:EAPI 7 isn't fully supported
32
 * Cache regenerated successfully