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
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
|
yosys (0.6-6) unstable; urgency=medium
* Added versioned build-dependency on gcc-5 (>= 5.3.1-15) since it
now fails to build with older versions due to the fix for #822408.
(Closes: #823809)
* Updated Standards to 3.9.8 - no changes
-- Ruben Undheim <ruben.undheim@gmail.com> Wed, 11 May 2016 22:20:00 +0200
yosys (0.6-5) unstable; urgency=medium
[ Sebastian Kuzminsky ]
* debian/patches/fixup-initalization.patch:
- Add a bugfix patch from upstream's development branch.
[ Ruben Undheim ]
* debian/patches/fix_ftbfs_cannot_find_infinite.patch:
- Fixes FTBFS due to std::isfinite not found. (Closes: #822408)
* Move PDFs in yosys-doc to /usr/share/doc/yosys in order to adhere to
Debian Policy 12.3.
* Refreshed patches
-- Ruben Undheim <ruben.undheim@gmail.com> Tue, 03 May 2016 21:56:53 +0200
yosys (0.6-4) unstable; urgency=medium
* debian/rules:
- Override dh_auto_build-arch instead of dh_auto_build to resolve
build issue for "all" package.
-- Ruben Undheim <ruben.undheim@gmail.com> Sat, 09 Apr 2016 16:38:20 +0200
yosys (0.6-3) unstable; urgency=medium
[ Sebastian Kuzminsky ]
* debian/patches/kfreebsd-support.patch:
- Fix a build problem on kFreeBSD. Use __unix__ instead of __linux__
[ Ruben Undheim ]
* debian/control:
- Define Build-Depends-Indep dependencies
* debian/rules:
- Override dh_auto_build-indep instead for building documentation.
-- Ruben Undheim <ruben.undheim@gmail.com> Sat, 09 Apr 2016 14:29:32 +0200
yosys (0.6-2) unstable; urgency=medium
* split the package into yosys, yosys-dev, and yosys-doc
- yosys is the tool itself
- yosys-dev is development files for building plugins
- yosys-doc is the manual (in pdf format)
* debian/rules:
- fail the build if upstream installs files that aren't picked up
by any of the debs
-- Sebastian Kuzminsky <seb@highlab.com> Wed, 23 Mar 2016 18:46:51 -0600
yosys (0.6-1) unstable; urgency=medium
* Uploaded to unstable.
* New upstream release: 0.6 (5869d26)
- 01_gitrevision.patch: refresh
- spelling-fixes.patch: fix upstream spelling mistakes
* debian/rules:
- don't run make as part of dh_auto_configure, it'll get run by
dh_auto_build later
- enable parallel build
- handle the new python dependencies of yosys-smtbmc
* debian/control:
- add Sebastian Kuzminsky to Uploaders
* add a manpage for the new yosys-smtbmc executable
-- Sebastian Kuzminsky <seb@highlab.com> Sun, 28 Feb 2016 10:48:44 -0700
yosys (0.5.0+20151013gitf13e387-2~exp1) experimental; urgency=low
* Added autopkg test for synthesis for iCE FPGA.
* Updated standards to 3.9.7 - no needed changes
-- Ruben Undheim <ruben.undheim@gmail.com> Sun, 21 Feb 2016 12:21:37 +0100
yosys (0.5.0+20151013gitf13e387-1) unstable; urgency=low
* Uploaded to unstable
- New features in yosys are needed for the Icestorm tool chain
* New upstream version
- Drop patches 04_installpath.patch and 06_cflags_ldflags.patch
- Set PREFIX in d/rules
* debian/control: Fixed Vcs-Git to use https
-- Ruben Undheim <ruben.undheim@gmail.com> Sun, 07 Feb 2016 11:59:04 +0100
yosys (0.5.0+20151007gitba4cce9-1) experimental; urgency=low
* New upstream version
- Refreshed patches
* debian/control: Added "python3" as build-dependency
-- Ruben Undheim <ruben.undheim@gmail.com> Sat, 10 Oct 2015 09:21:17 +0200
yosys (0.5.0-1) unstable; urgency=low
* New upstream release
* Added d/watch
* Updated copyright years in d/copyright
* Changed dependency from tcl8.5-dev to tcl-dev
* Added d/gbp.conf
* Added link from /usr/bin/yosys-abc to /usr/bin/berkeley-abc
- Also added man page for yosys-abc
* Fixed paths returned by yosys-config
- fix included in 04_installpath.patch
-- Ruben Undheim <ruben.undheim@gmail.com> Mon, 09 Feb 2015 20:37:38 +0100
yosys (0.4.0-1) unstable; urgency=medium
* New upstream release
* Few fixes in d/copyright
* Removed some strictly not needed dependencies
-- Ruben Undheim <ruben.undheim@gmail.com> Wed, 12 Nov 2014 18:35:59 +0100
yosys (0.3.0+20140906git652345c-1) unstable; urgency=low
* Initial release (Closes: #761365)
-- Ruben Undheim <ruben.undheim@gmail.com> Thu, 16 Oct 2014 22:02:03 +0200
|