# packages

pkgId: b78970dc4b32f9c46012af8461418e2af9c972a974c830bed98475c4fd88c886
name: alliance
arch: x86_64
version: 5.0
epoch: 0
release: 120.1
summary: VLSI EDA System
url: http://coriolis.lip6.fr/
rpm_license: GPL-2.0-only
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Applications/Engineering
rpm_buildhost: i04-ch3b
rpm_sourcerpm: alliance-5.0-120.1.src.rpm
location_href: x86_64/alliance-5.0-120.1.x86_64.rpm
checksum_type: sha256
description:
  Alliance is a complete set of free CAD tools and portable libraries for
  VLSI design. It includes a VHDL compiler and simulator, logic synthesis
  tools, and automatic place and route tools.

  A complete set of portable CMOS libraries is provided, including a RAM
  generator, a ROM generator and a data-path compiler.

  Alliance is the result of more than ten years effort spent at ASIM department
  of LIP6 laboratory of the Pierre et Marie Curie University (Paris VI, France).

  Alliance has been used for research projects such as the 875 000 transistors
  StaCS superscalar microprocessor and 400 000 transistors IEEE Gigabit HSL
  Router.

  You are kindly requested to mention
  " Designed with alliance (c) LIP6, Sorbonne Université"
  so as to spread the word about "alliance CAD system" and its development team.

  Alliance provides CAD tools covering most of all the digital design flow:

   * VHDL Compilation and Simulation
   * Model checking and formal proof
   * RTL and Logic synthesis
   * Data-Path compilation
   * Macro-cells generation
   * Place and route
   * Layout edition
   * Netlist extraction and verification
   * Design rules checking


pkgId: 825cb3811fc6a96d24be0f9bfe093fa2b96bd31b72e9ed937cd3849665bfdfc5
name: bison
arch: x86_64
version: 3.7.4
epoch: 0
release: 9.1
summary: A GNU general-purpose parser generator
url: http://www.gnu.org/software/bison/
rpm_license: GPLv3+
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Unspecified
rpm_buildhost: i01-ch2d
rpm_sourcerpm: bison-3.7.4-9.1.src.rpm
location_href: x86_64/bison-3.7.4-9.1.x86_64.rpm
checksum_type: sha256
description:
  Bison is a general purpose parser generator that converts a grammar
  description for an LALR(1) context-free grammar into a C program to
  parse that grammar. Bison can be used to develop a wide range of
  language parsers, from ones used in simple desk calculators to complex
  programming languages. Bison is upwardly compatible with Yacc, so any
  correctly written Yacc grammar should work with Bison without any
  changes. If you know Yacc, you shouldn't have any trouble using
  Bison. You do need to be very proficient in C programming to be able
  to use Bison. Bison is only needed on systems that are used for
  development.

  If your system will be used for C development, you should install
  Bison.


pkgId: fd2b29fdfed09e8e12950f7c7be722e474f8c1eb6a10e5738d8b2b4143ad5b14
name: bison-devel
arch: x86_64
version: 3.7.4
epoch: 0
release: 9.1
summary: -ly library for development using Bison-generated parsers
url: http://www.gnu.org/software/bison/
rpm_license: GPLv3+
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Unspecified
rpm_buildhost: i01-ch2d
rpm_sourcerpm: bison-3.7.4-9.1.src.rpm
location_href: x86_64/bison-devel-3.7.4-9.1.x86_64.rpm
checksum_type: sha256
description:
  The bison-devel package contains the -ly library sometimes used by
  programs using Bison-generated parsers.  If you are developing programs
  using Bison, you might want to link with this library.  This library
  is not required by all Bison-generated parsers, but may be employed by
  simple programs to supply minimal support for the generated parsers.


pkgId: 626c20e68e932a862e40661ca01a7298be75244641da1ed50cbbdda7a668ed6e
name: bison-runtime
arch: x86_64
version: 3.7.4
epoch: 0
release: 9.1
summary: Runtime support files used by Bison-generated parsers
url: http://www.gnu.org/software/bison/
rpm_license: GPLv3+
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Unspecified
rpm_buildhost: i01-ch2d
rpm_sourcerpm: bison-3.7.4-9.1.src.rpm
location_href: x86_64/bison-runtime-3.7.4-9.1.x86_64.rpm
checksum_type: sha256
description:
  The bison-runtime package contains files used at runtime by parsers
  that Bison generates.  Packages whose binaries contain parsers
  generated by Bison should depend on bison-runtime to ensure that
  these files are available.  See the Internationalization in the
  Bison manual section for more information.


pkgId: 796cfa07f8cd9c7f5c83041edc448f8bcbf6dd545231f8cd8216f2eaed8c8948
name: coriolis-eda
arch: x86_64
version: 2.5.5
epoch: 0
release: 241.1.7095794fb
summary: Coriolis 2 EDA toolchain
url: https://coriolis.lip6.fr/
rpm_license: BSD-1-Clause AND LGPL-2.0-only AND GPL-2.0-only AND Apache-1.0
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Applications/Engineering
rpm_buildhost: h02-ch1c
rpm_sourcerpm: coriolis-eda-2.5.5-241.1.7095794fb.src.rpm
rpm_packager: Mazher Iqbal <mazher@lip6.fr>
location_href: x86_64/coriolis-eda-2.5.5-241.1.7095794fb.x86_64.rpm
checksum_type: sha256
description:
  A FOSS EDA tool suite for physical design. Provides an integrated
  place & route for ASICs. Support symbolic layout (Alliance) and
  real layout (GDS). While mainly written in C++, it has an extensive
  Python interface.


pkgId: 1e87afe0255a3b92be9d9d38a9193e88bd354a8a9bf02f64c4aca10a445248b3
name: coriolis-eda-doc
arch: noarch
version: 2.5.5
epoch: 0
release: 241.1.7095794fb
summary: Documentation of the Coriolis EDA toolchain
url: https://coriolis.lip6.fr/
rpm_license: BSD-1-Clause AND LGPL-2.0-only AND GPL-2.0-only AND Apache-1.0
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Applications/Engineering
rpm_buildhost: h02-ch1c
rpm_sourcerpm: coriolis-eda-2.5.5-241.1.7095794fb.src.rpm
rpm_packager: Mazher Iqbal <mazher@lip6.fr>
location_href: noarch/coriolis-eda-doc-2.5.5-241.1.7095794fb.noarch.rpm
checksum_type: sha256
description:
  The documentation is a subset of the Coriolis website. It provides
  informations on:
  * The Hurricane database (C++).
  * The Coriolis Core (CRL) infrastructure (C++).
  * The dedicated C++/Python wrapper (Isobar,C/C++/Python). The Python
    interface has been made so that it mimics closely the C++ one, so
    the C++ doc can be used for both.
  * Some technical specifications.
  * A general introduction and user's manual.


pkgId: 045030aa251963b5c8a9ab15654c87e890acf7bc67e1685aac5cf6f2e877ac47
name: libngspice
arch: x86_64
version: 44.2
epoch: 0
release: 10.1
summary: Shared libraries for ngspice
url: https://ngspice.sourceforge.io
rpm_license: BSD-2-Clause
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: System/Libraries
rpm_buildhost: i03-ch1c
rpm_sourcerpm: ngspice-44.2-10.1.src.rpm
location_href: x86_64/libngspice-44.2-10.1.x86_64.rpm
checksum_type: sha256
description:
  Ngspice is a mixed-level/mixed-signal circuit simulator. Its code
  is based on three open source software packages: Spice3f5, Cider1b1
  and Xspice. This package contains the shared libraries.


pkgId: abac103ba0918b1a8a68c78764dff361e79e85bc4b2b6af19b51a70a0ef3f77c
name: libngspice-devel
arch: x86_64
version: 44.2
epoch: 0
release: 10.1
summary: Development files for ngspice
url: https://ngspice.sourceforge.io
rpm_license: BSD-2-Clause
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Development/Libraries/Other
rpm_buildhost: i03-ch1c
rpm_sourcerpm: ngspice-44.2-10.1.src.rpm
location_href: x86_64/libngspice-devel-44.2-10.1.x86_64.rpm
checksum_type: sha256
description:
  Ngspice is a mixed-level/mixed-signal circuit simulator. Its code
  is based on three open source software packages: Spice3f5, Cider1b1
  and Xspice. This package contains the development files.


pkgId: 6b399304b702bc99cd9f083f9db2e6068f37336f56b636b8b71bef9bc0d79597
name: magic
arch: x86_64
version: 8.3.590
epoch: 0
release: 10.1
summary: A very capable VLSI layout tool
url: http://opencircuitdesign.com/magic/index.html
rpm_license: MIT
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Unspecified
rpm_buildhost: i01-ch2b
rpm_sourcerpm: magic-8.3.590-10.1.src.rpm
location_href: x86_64/magic-8.3.590-10.1.x86_64.rpm
checksum_type: sha256
description:
  Magic is a venerable VLSI layout tool. Magic VLSI remains
  popular with universities and small companies.

  Magic is widely cited as being the easiest tool to use for
  circuit layout, even for people who ultimately rely on commercial
  tools for their product design flow.


pkgId: 89646baf25baa975c78eb2e2c87447660949edf71b8346584bb5bc0a095601eb
name: ngspice
arch: x86_64
version: 44.2
epoch: 0
release: 10.1
summary: Mixed-level, Mixed-signal Circuit Simulator Based on spice3f5
url: https://ngspice.sourceforge.io
rpm_license: BSD-2-Clause
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Productivity/Scientific/Electronics
rpm_buildhost: i03-ch1c
rpm_sourcerpm: ngspice-44.2-10.1.src.rpm
location_href: x86_64/ngspice-44.2-10.1.x86_64.rpm
checksum_type: sha256
description:
  Ngspice is a mixed-level/mixed-signal circuit simulator. Its code
  is based on three open source software packages: Spice3f5, Cider1b1
  and Xspice.


pkgId: 170faef9fde00b4e8e24121a915f11422af53ab7c907b25945b0de89ccddb579
name: openvaf
arch: x86_64
version: 23.5.0
epoch: 0
release: 5.1
summary: OpenVAF is a Next-Generation Verilog-A compiler
url: https://openvaf.semimod.de/
rpm_license: GPL-3.0-only
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Applications/Engineering
rpm_buildhost: i04-ch1a
rpm_sourcerpm: openvaf-23.5.0-5.1.src.rpm
location_href: x86_64/openvaf-23.5.0-5.1.x86_64.rpm
checksum_type: sha256
description:
  Circuit simulators play a critical role in the design of electrical circuits.
  Accurate simulations enable circuit designers to validate circuit behavior
  before actual fabrication happens, potentially saving significant re-design
  costs.  The simulation of a circuit critically depends on the so-called compact
  models and therefore:
  * The accuracy of the compact-model equations
  * The quality of the model parameters


pkgId: 18a434bb0a3499d7a303c7376e8074131b6c26bd47aa526ab36f2e3c76953fb1
name: python3-coriolis-pdk-gf180mcu
arch: noarch
version: 2025.07.21
epoch: 0
release: 7.1.bfa7190
summary: Global Foundries 180 MCU open PDK
url: https://github.com/google/gf180mcu-pdk.git
rpm_license: Apache-2.0
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Unspecified
rpm_buildhost: h02-ch2d
rpm_sourcerpm: coriolis-pdk-gf180mcu-2025.07.21-7.1.bfa7190.src.rpm
location_href: noarch/python3-coriolis-pdk-gf180mcu-2025.07.21-7.1.bfa7190.noarch.rpm
checksum_type: sha256
description:
  The GF180MCU  open source PDK  is a collaboration between  Google and
  GlobalFoundries to  provide a  fully open  source process  design kit
  (PDK)  and  related  resources  to enable  the  creation  of  designs
  manufacturable at GlobalFoundries's facility  on their 0.18um 3.3V/6V
  MCU process technology.

  The GF180MCU documentation can be found at <https://gf180mcu-pdk.rtfd.io>.


pkgId: 6263da739f217e2a1e362dac982e1bd323057206231420db7c2e452d2be0e43d
name: python3-coriolis-pdk-ihpsg13g2
arch: x86_64
version: 2025.12.27
epoch: 0
release: 4.1.bfa7190
summary: IHP Open PDK SG13G2
url: https://github.com/IHP-GmbH/IHP-Open-PDK
rpm_license: Apache-2.0
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Unspecified
rpm_buildhost: i03-ch1c
rpm_sourcerpm: coriolis-pdk-ihpsg13g2-2025.12.27-4.1.bfa7190.src.rpm
location_href: x86_64/python3-coriolis-pdk-ihpsg13g2-2025.12.27-4.1.bfa7190.x86_64.rpm
checksum_type: sha256
description:
  130nm  BiCMOS Open  Source PDK,  dedicated for  Analog/Digital, Mixed
  Signal and RF Design

  IHP Open  Source PDK project  goal is to  provide a fully  open source
  Process  Design Kit  and related  data, which  can be  used to  create
  manufacturable  designs at  IHP’s facility.   As of  March 2023,  this
  repository is targeting the SG13G2 process node


pkgId: 9a41b9782c15de682bfeed8fd3d2d556462776afd402a7cd6e057870b11f3d25
name: sv2v
arch: x86_64
version: 0.0.12
epoch: 0
release: 1.1
summary: sv2v - SystemVerilog to Verilog
url: https://github.com/zachjs/sv2v/
rpm_license: BSD-3-Clause
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Applications/Engineering
rpm_buildhost: i04-ch4c
rpm_sourcerpm: sv2v-0.0.12-1.1.src.rpm
location_href: x86_64/sv2v-0.0.12-1.1.x86_64.rpm
checksum_type: sha256
description:
  sv2v converts SystemVerilog (IEEE 1800-2017) to Verilog (IEEE 1364-2005),
  with an emphasis on supporting synthesizable language constructs.
    The primary goal of this project is to create a completely free and
  open-source tool for converting SystemVerilog to Verilog. While methods
  for performing this conversion already exist, they generally either rely
  on commercial tools, or are limited in scope.
    This project was originally developed to target Yosys, and so allows for
  disabling the conversion of (passing through) those SystemVerilog features
  that Yosys supports.


pkgId: e378602d0d856e1facdb11517ed881dd07a9fce1ea9ed8aeb7ab67f3a20fb90b
name: tas-yagle
arch: x86_64
version: 3.4.6
epoch: 0
release: 177.1.742cf58
summary: Tas/Yagle - Static Timing Analyser
url: https://coriolis.lip6.fr/
rpm_license: GPL-2.0-only
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Applications/Engineering
rpm_buildhost: i04-ch4c
rpm_sourcerpm: tas-yagle-3.4.6-177.1.742cf58.src.rpm
location_href: x86_64/tas-yagle-3.4.6-177.1.742cf58.x86_64.rpm
checksum_type: sha256
description:
  STATIC TIMING ANALYSIS
    The  advent   of  semiconductor  fabrication  technologies   now  allows  high
  performance in complex integrated circuits.
    With the increasing complexity of these circuits, static timing analysis (STA)
  has  revealed  itself  as  the  only  feasible  method  ensuring  that  expected
  performances are actually obtained.
    In addition, signal integrity (SI) issues due to crosstalk play a crucial role
  in performance and reliability of these  systems, and must be taken into account
  during the timing analysis.
    However, performance  achievement not  only lies in  fabrication technologies,
  but also  in the way circuits  are designed.  Very high  performance designs are
  obtained with semi or full-custom designs techniques.
    The HITAS platform provides advanced STA and SI solutions at transistor level.
  It has been  built-up in order to allow engineers to  ensure complete timing and
  SI coverage on their digital custom  designs, as well as IP-reuse through timing
  abstraction.
    Furthermore,  hierarchy  handling  through  transparent  timing  views  allows
  full-chip verification, with virtually no limit of capacity in design size.


pkgId: ceccfe5d103856f5e425d1565a948463ce88f1831afdb34c447ad4c22e2d3250
name: texlive-picinpar
arch: noarch
version: 2014
epoch: 0
release: 1.1
summary: Insert pictures into paragraphs.
rpm_license: GPL+
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Unspecified
rpm_buildhost: i02-ch2a
rpm_sourcerpm: texlive-picinpar-2014-1.1.src.rpm
location_href: noarch/texlive-picinpar-2014-1.1.noarch.rpm
checksum_type: sha256
description:
  A legacy package for creating 'windows' in paragraphs, for
  inserting graphics, etc. (including "dropped capitals"). Users
  should note that Piet van Oostrum (in a published review of
  packages of this sort) does not recommend this package; Picins
  is recommended instead.

  CTAN Catalogue Date: 2012-06-13 09:18:45 +0200


pkgId: bce9126bf9b944adae389d36223b281da3e40aab4f58269830c8837add104c16
name: tomcli+all
arch: noarch
version: 0.10.1
epoch: 0
release: 20.1
summary: Metapackage for tomcli: all extras
url: https://sr.ht/~gotmax23/tomcli
rpm_license: MIT
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Unspecified
rpm_buildhost: i03-ch1a
rpm_sourcerpm: tomcli-0.10.1-20.1.src.rpm
location_href: noarch/tomcli+all-0.10.1-20.1.noarch.rpm
checksum_type: sha256
description:
  This is a metapackage bringing in all extras requires for tomcli.
  It makes sure the dependencies are installed.


pkgId: 90cade822bf18088f273666cf79cfae1b36c1d583c9ce58a97cfed2a5205993a
name: tomcli+tomli
arch: noarch
version: 0.10.1
epoch: 0
release: 20.1
summary: Metapackage for tomcli: tomli extras
url: https://sr.ht/~gotmax23/tomcli
rpm_license: MIT
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Unspecified
rpm_buildhost: i03-ch1a
rpm_sourcerpm: tomcli-0.10.1-20.1.src.rpm
location_href: noarch/tomcli+tomli-0.10.1-20.1.noarch.rpm
checksum_type: sha256
description:
  This is a metapackage bringing in tomli extras requires for tomcli.
  It makes sure the dependencies are installed.


pkgId: 410adc65464a18a8bbbab1519bdef94ccbbfbd8d29129b04d2d353d11b1482fe
name: tomcli+tomlkit
arch: noarch
version: 0.10.1
epoch: 0
release: 20.1
summary: Metapackage for tomcli: tomlkit extras
url: https://sr.ht/~gotmax23/tomcli
rpm_license: MIT
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Unspecified
rpm_buildhost: i03-ch1a
rpm_sourcerpm: tomcli-0.10.1-20.1.src.rpm
location_href: noarch/tomcli+tomlkit-0.10.1-20.1.noarch.rpm
checksum_type: sha256
description:
  This is a metapackage bringing in tomlkit extras requires for tomcli.
  It makes sure the dependencies are installed.


pkgId: c7cf2c8c52d44c5d9fc0a2e30158758801357b86a539475f65fa9af8df8e8e42
name: yosys
arch: x86_64
version: 0.58
epoch: 0
release: 11.1.157aabb58
summary: Yosys open synthesis suite
url: https://yosyshq.net/yosys/
rpm_license: ISC
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Applications/Engineering
rpm_buildhost: h02-ch2c
rpm_sourcerpm: yosys-0.58-11.1.157aabb58.src.rpm
location_href: x86_64/yosys-0.58-11.1.157aabb58.x86_64.rpm
checksum_type: sha256
description:
  This is a framework for RTL synthesis tools. It currently has
  extensive Verilog-2005 support and provides a basic set of
  synthesis algorithms for various application domains.

  Yosys can be adapted to perform any synthesis job by combining
  the existing passes (algorithms) using synthesis scripts and
  adding additional passes as needed by extending the yosys C++
  code base.

  Yosys is free software licensed under the ISC license (a GPL
  compatible license that is similar in terms to the MIT license
  or the 2-clause BSD license).


pkgId: c45e70a86f6503c0010675d2fcf99d99770caf837649a8162692806cffe2c534
name: yosys-slang
arch: x86_64
version: 2025.10.31.ba1859e
epoch: 0
release: 19.1
summary: SystemVerilog frontend for Yosys
url: https://github.com/povik/yosys-slang.git
rpm_license: ISC
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Applications/Engineering
rpm_buildhost: i03-ch2b
rpm_sourcerpm: yosys-slang-2025.10.31.ba1859e-19.1.src.rpm
location_href: x86_64/yosys-slang-2025.10.31.ba1859e-19.1.x86_64.rpm
checksum_type: sha256
description:
  yosys-slang is  a Yosys plugin  providing a new  command (read_slang)
  for loading SystemVerilog designs.
    yosys-slang  builds   on  top  of  the  slang  library  to  provide
  comprehensive   SystemVerilog  support.   The   plugin  supports   an
  (informally defined) synthesizable subset of SystemVerilog in version
  IEEE 1800-2017 or IEEE 1800-2023.


# files

type: file
name:
  /usr/lib64/python3.10/site-packages/pdks/sky130_c4m/libs.tech/klayout/bin/__pycache__/conv_c4msky130_to_sky130.cpython-310.opt-1.pyc


type: file
name:
  /usr/lib64/python3.10/site-packages/pdks/sky130_c4m/libs.tech/klayout/bin/__pycache__/conv_c4msky130_to_sky130.cpython-310.pyc


type: file
name:
  /usr/lib64/python3.10/site-packages/pdks/sky130_c4m/libs.tech/klayout/bin/conv_c4msky130_to_sky130.py


