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