# packages

pkgId: 623b46fb668bcd4cb80ca8a489b38373a1b4dacf8fc19e9ebc0e338a509f57f6
name: alliance
arch: x86_64
version: 5.0
epoch: 0
release: 111.3
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: i03-ch1d
rpm_sourcerpm: alliance-5.0-111.3.src.rpm
location_href: x86_64/alliance-5.0-111.3.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: 4dcf7b08cf82ae141609b95dded59b375ba666940dcae88f04f1fd7cbc866da3
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: i03-ch2b
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: 394047632eb5d83fce1d2ce6f2c760b005399d5e7c8e991a49e8882abbd79e8d
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: i03-ch2b
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: 4a58a717559e6f02e8a626d26187847a019ee66b4f6891db88308e4b9643deea
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: i03-ch2b
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: 86f39d38adae2d5dc8ff77194042b4a7dc49d49ad0bea3937b47346966d47553
name: blt
arch: x86_64
version: 2.4
epoch: 0
release: 83.1
summary: Widget extension to the Tcl/Tk scripting language
url: http://sourceforge.net/projects/blt/
rpm_license: MIT
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Unspecified
rpm_buildhost: i03-ch1c
rpm_sourcerpm: blt-2.4-83.1.src.rpm
location_href: x86_64/blt-2.4-83.1.x86_64.rpm
checksum_type: sha256
description:
  BLT is a very powerful extension to Tk. It adds plotting widgets
  (graph, barchart and stripchart), hierarchy tree and table, tab
  notebook, table geometry manager, vector, background program
  execution, busy utility, eps canvas item, drag and drop facility,
  bitmap command and miscellaneous commands.
  Note: this version is stubs enabled and therefore should be compatible
  with Tcl/Tk versions after and including 8.3.1.


pkgId: 8db60833afb693e718f3b3bb7489cd0ca66f89db21f775972cbf475c17d20ef5
name: blt-devel
arch: x86_64
version: 2.4
epoch: 0
release: 83.1
summary: Development files for BLT
url: http://sourceforge.net/projects/blt/
rpm_license: MIT
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Unspecified
rpm_buildhost: i03-ch1c
rpm_sourcerpm: blt-2.4-83.1.src.rpm
location_href: x86_64/blt-devel-2.4-83.1.x86_64.rpm
checksum_type: sha256
description:
  BLT is an extension to the Tk toolkit. BLT's most useful feature is the
  provision of more widgets for Tk, but it also provides more geometry managers
  and miscellaneous other commands. Note that you won't need to any patching
  of the Tcl or Tk source file to use BLT, but you will need to have Tcl/Tk
  installed in order to use BLT.

  This package provides headers needed to build packages based on BLT.


pkgId: 9e088bed7bc0f01e803232c817defce6363053c8b3c5c97a26d4197389eb7e6d
name: coriolis-eda
arch: x86_64
version: 2.5.5
epoch: 0
release: 193.2.f4c1b74de
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: i02-ch2a
rpm_sourcerpm: coriolis-eda-2.5.5-193.2.f4c1b74de.src.rpm
rpm_packager: Mazher Iqbal <mazher@lip6.fr>
location_href: x86_64/coriolis-eda-2.5.5-193.2.f4c1b74de.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: d6c0d55c160d9baf69c14cc5145cf64cc76777dcf9301a166398e570251a4355
name: coriolis-eda-doc
arch: noarch
version: 2.5.5
epoch: 0
release: 193.2.f4c1b74de
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: i02-ch2a
rpm_sourcerpm: coriolis-eda-2.5.5-193.2.f4c1b74de.src.rpm
rpm_packager: Mazher Iqbal <mazher@lip6.fr>
location_href: noarch/coriolis-eda-doc-2.5.5-193.2.f4c1b74de.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: a6b1a8f6324ee104ba48b4cb4d99335ead19d2d4aee26f6a7d1dbe2778ad5e3f
name: itcl
arch: x86_64
version: 4.1.1
epoch: 0
release: 5.1
summary: Object oriented extensions to Tcl and Tk
url: http://incrtcl.sourceforge.net/itcl/
rpm_license: TCL
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Unspecified
rpm_buildhost: i04-ch1c
rpm_sourcerpm: itcl-4.1.1-5.1.src.rpm
location_href: x86_64/itcl-4.1.1-5.1.x86_64.rpm
checksum_type: sha256
description:
  [incr Tcl] is Tcl extension that provides object-oriented features that are
  missing from the Tcl language.


pkgId: 7ef68cd97db7a133091a86a5c81e824a726006f77d16e0a81a6d7145632a9a8d
name: libngspice
arch: x86_64
version: 44.2
epoch: 0
release: 1.26
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: i02-ch1d
rpm_sourcerpm: ngspice-44.2-1.26.src.rpm
location_href: x86_64/libngspice-44.2-1.26.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: 133b3887f97f69e9c466762977b7dbea422c102b6910de6efed4cffe28a36eb3
name: libngspice-devel
arch: x86_64
version: 44.2
epoch: 0
release: 1.26
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: i02-ch1d
rpm_sourcerpm: ngspice-44.2-1.26.src.rpm
location_href: x86_64/libngspice-devel-44.2-1.26.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: 90326d191305a93f48840dccafacdb5fb222f955ded0382a1087bc52ebfa4e1f
name: magic
arch: x86_64
version: 8.3.588
epoch: 0
release: 49.3
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: i03-ch2d
rpm_sourcerpm: magic-8.3.588-49.3.src.rpm
location_href: x86_64/magic-8.3.588-49.3.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: d8e09d11b963d21bd84211b88f0c1b4e767e449e3e696f604eee595c1fc3878d
name: ngspice
arch: x86_64
version: 44.2
epoch: 0
release: 1.26
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: i02-ch1d
rpm_sourcerpm: ngspice-44.2-1.26.src.rpm
location_href: x86_64/ngspice-44.2-1.26.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: 749859f025839922c5f4e021f6ec80df09e983100902b1f085874a64171ad063
name: openvaf
arch: x86_64
version: 23.5.0
epoch: 0
release: 5.10
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: i03-ch2d
rpm_sourcerpm: openvaf-23.5.0-5.10.src.rpm
location_href: x86_64/openvaf-23.5.0-5.10.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: d4c725dc45bd399d679be2cc72c99dd42f80ea656aabfa6f94ff45ac1ed59fe4
name: python3.11-coriolis-pdk-gf180mcu
arch: noarch
version: 2025.07.21
epoch: 0
release: 4.12.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-4.12.bfa7190.src.rpm
location_href: noarch/python3.11-coriolis-pdk-gf180mcu-2025.07.21-4.12.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: 656e9f22400f37d5efa2dcf3dfe240df268eb196fdf81d076d56b0da85365ca5
name: python3.11-coriolis-pdk-ihpsg13g2
arch: x86_64
version: 2024.10.15
epoch: 0
release: 27.10.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: h02-ch1d
rpm_sourcerpm: coriolis-pdk-ihpsg13g2-2024.10.15-27.10.bfa7190.src.rpm
location_href: x86_64/python3.11-coriolis-pdk-ihpsg13g2-2024.10.15-27.10.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: 27cd423935519c5a708427ad3de170b3be29d59f961c5dc8a25ea751375c30bd
name: sv2v
arch: x86_64
version: 0.0.12
epoch: 0
release: 1.26
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-ch1d
rpm_sourcerpm: sv2v-0.0.12-1.26.src.rpm
location_href: x86_64/sv2v-0.0.12-1.26.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: 247fdb0a17c9e9879747d3367bafe83af76b08b0e4b9ce29670805ca9e691ed4
name: tas-yagle
arch: x86_64
version: 3.4.6
epoch: 0
release: 169.2.fa4d642
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-ch2b
rpm_sourcerpm: tas-yagle-3.4.6-169.2.fa4d642.src.rpm
location_href: x86_64/tas-yagle-3.4.6-169.2.fa4d642.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: 75ef85b9842c14c8626c2e161839d67fbe74426804876e4fceab0b23a3669a92
name: temurin-8-jdk
arch: x86_64
version: 8.0.472.0.0.8
epoch: 0
release: 10.2
summary: Eclipse Temurin 8 JDK
url: https://projects.eclipse.org/projects/adoptium
rpm_license: GPLv2 with exceptions
rpm_vendor: Eclipse Adoptium
rpm_group: java
rpm_buildhost: i03-ch2d
rpm_sourcerpm: temurin-8-jdk-8.0.472.0.0.8-10.2.src.rpm
rpm_packager: Eclipse Adoptium Package Maintainers <temurin-dev@eclipse.org>
location_href: x86_64/temurin-8-jdk-8.0.472.0.0.8-10.2.x86_64.rpm
checksum_type: sha256
description:
  Eclipse Temurin JDK is an OpenJDK-based development environment to create
  applications and components using the programming language Java.


pkgId: 1301bab577c30ce0bd50fc01b1d7593d5bf5ad9cee4ff6473b9a9e8e37369903
name: texlive-picinpar
arch: noarch
version: 2014
epoch: 0
release: 1.3
summary: Insert pictures into paragraphs.
rpm_license: GPL+
rpm_vendor: obs://build.opensuse.org/home:jpc-lip6
rpm_group: Unspecified
rpm_buildhost: h02-ch2d
rpm_sourcerpm: texlive-picinpar-2014-1.3.src.rpm
location_href: noarch/texlive-picinpar-2014-1.3.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: f4606d75cb91fadc5a3a96fac8b1cd1c353fd90214109005fad900189c8f7876
name: yosys
arch: x86_64
version: 0.46
epoch: 0
release: 21.10.e97731b9d
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: i03-ch1c
rpm_sourcerpm: yosys-0.46-21.10.e97731b9d.src.rpm
location_href: x86_64/yosys-0.46-21.10.e97731b9d.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: 73dc01c0e16612d8e7ab60948062ad0df775613cef1c784b9f897fbd37a68a8e
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: i04-ch4d
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.11/site-packages/pdks/sky130_c4m/libs.tech/klayout/bin/__pycache__/conv_c4msky130_to_sky130.cpython-311.opt-1.pyc


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


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


