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
|
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/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
|
