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
|
checker-framework-java (3.2.0+ds-1) unstable; urgency=medium
* New upstream release (Closes: #1021632)
- Refresh patches
* Refresh packaging
- Update d/watch
- Update standards to 4.6.2 (no changes)
- Disable Salsa BLHC due to incorrect non-verbose build error
-- Olek Wojnar <olek@debian.org> Tue, 03 Jan 2023 10:09:25 -0500
checker-framework-java (3.0.1+ds2-4) unstable; urgency=medium
* Fix watch file
* debian/copyright: use spaces rather than tabs to start continuation lines.
* Set upstream metadata fields: Bug-Submit.
* Update standards version to 4.6.1, no changes needed.
* Add debian/salsa-ci.yml
* Homepage is not in the list of fields for upstream metadata
-- Andreas Tille <tille@debian.org> Wed, 30 Nov 2022 19:32:17 +0100
checker-framework-java (3.0.1+ds2-3) unstable; urgency=medium
* Update standards to 4.5.1 (no changes)
* Declare Multi-Arch: foreign
-- Olek Wojnar <olek@debian.org> Fri, 22 Jan 2021 13:33:33 -0500
checker-framework-java (3.0.1+ds2-2) unstable; urgency=high
* Temporarily eliminate build of Android artifact
- Will re-introduce once Kotlin allows build of Android dependencies
-- Olek Wojnar <olek@debian.org> Mon, 02 Nov 2020 14:45:01 -0500
checker-framework-java (3.0.1+ds2-1) unstable; urgency=medium
* Remove additional problematic source file
-- Olek Wojnar <olek@debian.org> Sun, 25 Oct 2020 21:05:33 -0400
checker-framework-java (3.0.1+ds1-1) unstable; urgency=medium
* Correct additional licensing concerns identified by FTP Team
-- Olek Wojnar <olek@debian.org> Thu, 22 Oct 2020 14:17:16 -0400
checker-framework-java (3.0.1+ds-1) unstable; urgency=medium
* Initial release (Closes: #959832)
* Provide additional information about authors
* Restore Gradle build system
* Backport license clarifications from upstream in d/copyright
- https://github.com/typetools/checker-framework/issues/3429
-- Olek Wojnar <olek@debian.org> Wed, 15 Jul 2020 16:06:07 -0400
|
