1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: FIXME
Upstream-Contact: FIXME
Source: FIXME
Disclaimer: Autogenerated by licensecheck
Files: Cargo.toml
README.md
art/crdt_statespace.png
art/logo.png
debian/TODO
debian/control
debian/copyright-check
debian/dh-cargo/README.md
debian/examples
debian/gbp.conf
debian/patches/2001_num.patch
debian/patches/2001_quickcheck.patch
debian/patches/2001_rand.patch
debian/patches/README
debian/patches/series
debian/rules
debian/source/format
debian/source/lintian-overrides
debian/watch
examples/pprint.rs
examples/reset_remove.rs
examples/vclock.rs
quickcheck_evolution.log
shell.nix
src/ctx.rs
src/dot.rs
src/gcounter.rs
src/glist.rs
src/gset.rs
src/identifier.rs
src/lib.rs
src/list.rs
src/lwwreg.rs
src/map.rs
src/merkle_reg.rs
src/mvreg.rs
src/orswot.rs
src/pncounter.rs
src/traits.rs
src/vclock.rs
src/vvwe.rs
test/glist.rs
test/list.rs
test/map.rs
test/merkle_reg.rs
test/mvreg.rs
test/orswot.rs
test/test.rs
test/vclock.rs
Copyright: NONE
License: UNKNOWN
FIXME
Files: debian/dh-cargo/bin/cargo
Copyright: 2015-2016, Luca Bruno <lucab@debian.org>
2016-2019, Ximin Luo <infinity0@debian.org>
2017-2019, Vasudeva Kamath <vasudev@copyninja.info>
License: Apache-2.0
FIXME
Files: LICENSE
Copyright: 2020, Tyler Neely, David Rusu
License: Apache-2.0
FIXME
Files: debian/dh-cargo/lib/Debian/Debhelper/Buildsystem/cargo.pm
Copyright: 2016, Josh Triplett <josh@joshtriplett.org>
2018, Ximin Luo <infinity0@debian.org>
2022-2023, Jonas Smedegaard <dr@jones.dk>
License: Expat
FIXME
|
