Package: 3dslicer-lablinux Version: 5.6.2-1 Architecture: amd64 Maintainer: Antonio Gutierrez Mayoral Priority: optional Section: base Filename: pool/main/3/3dslicer-lablinux/3dslicer-lablinux_5.6.2-1_amd64.deb Size: 508978704 SHA256: c8ab2c656936fb83c5f8bacf2c0c7342af6e28db807a74ae43a994d4ff098934 SHA1: 432670a43aadd9dc5d054114d937ba75e2755ae3 MD5sum: 62be93d1138cc4d2d6437b33f55e585f Description: 3D Slicer is an open source software platform for medical image informatics, image processing, and three-dimensional visualization. Built over two decades through support from the National Institutes of Health and a worldwide developer community, Slicer brings free, powerful cross-platform processing tools to physicians, researchers, and the general public. Origin: LabLinux Package: Quarto Recommends: unzip Version: 1.6.42 Architecture: amd64 Installed-Size: 417042 Maintainer: Posit, PBC Homepage: https://github.com/quarto-dev/quarto-cli Priority: optional Section: user/text Filename: pool/main/Q/Quarto/Quarto_1.6.42_amd64.deb Size: 126716522 SHA256: fd36628c3a995d1de1d04acc5029283a86250e5853f0038293160920c72078b2 SHA1: 92578d7fc202c1b509e2eb6c99182de099ed9bbb MD5sum: 67425ed6a871a82236c7a2166886221a Description: Quarto is an academic, scientific, and technical publishing system built on Pandoc. Package: android-studio Version: 2024.2.2-1 Architecture: all Maintainer: Antonio Gutierrez Mayoral Priority: optional Section: base Filename: pool/main/a/android-studio/android-studio_2024.2.2-1_all.deb Size: 1009245984 SHA256: 9bbcddf883a2db964255959dded9b3085a59d3616b8b0b2edbec0dd5130db2b3 SHA1: 0c57175492e2dae4fedae69202686a71790956ba MD5sum: f61cebc54c47c240c158d967e34bfa6b Description: Android Studio IDE for Linux Laboratories at EIF, URJC. Package: code Version: 1.103.2-1755709794 Depends: ca-certificates, libasound2 (>= 1.0.17), libatk-bridge2.0-0 (>= 2.5.3), libatk1.0-0 (>= 2.11.90), libatspi2.0-0 (>= 2.9.90), libc6 (>= 2.14), libc6 (>= 2.16), libc6 (>= 2.17), libc6 (>= 2.2.5), libc6 (>= 2.25), libc6 (>= 2.28), libcairo2 (>= 1.6.0), libcurl3-gnutls | libcurl3-nss | libcurl4 | libcurl3, libdbus-1-3 (>= 1.9.14), libexpat1 (>= 2.1~beta3), libgbm1 (>= 17.1.0~rc2), libglib2.0-0 (>= 2.37.3), libgtk-3-0 (>= 3.9.10), libgtk-3-0 (>= 3.9.10) | libgtk-4-1, libnspr4 (>= 2:4.9-2~), libnss3 (>= 2:3.30), libnss3 (>= 3.26), libpango-1.0-0 (>= 1.14.0), libudev1 (>= 183), libx11-6, libx11-6 (>= 2:1.4.99.1), libxcb1 (>= 1.9.2), libxcomposite1 (>= 1:0.4.4-1), libxdamage1 (>= 1:1.1), libxext6, libxfixes3, libxkbcommon0 (>= 0.5.0), libxkbfile1 (>= 1:1.1.0), libxrandr2, xdg-utils (>= 1.0.2) Recommends: libvulkan1 Architecture: amd64 Maintainer: Microsoft Corporation Homepage: https://code.visualstudio.com/ Installed-Size: 445705 Provides: visual-studio-code Conflicts: visual-studio-code Replaces: visual-studio-code Priority: optional Section: devel Filename: pool/main/c/code/code_1.103.2-1755709794_amd64.deb Size: 113024558 SHA256: 2bf1cfb2e9fee23b04b6502e8528a3d4d11cdf473aca557f388157d6f1b96076 SHA1: efcd681a7b41b95a79316fe5093525542d6cab35 MD5sum: 9f5ac83d7abaea6109ddff4188d5f58e Description: Code editing. Redefined. Visual Studio Code is a new choice of tool that combines the simplicity of a code editor with what developers need for the core edit-build-debug cycle. See https://code.visualstudio.com/docs/setup/linux for installation instructions and FAQ. Package: codium Version: 1.103.25610 Depends: ca-certificates, libasound2 (>= 1.0.17), libatk-bridge2.0-0 (>= 2.5.3), libatk1.0-0 (>= 2.11.90), libatspi2.0-0 (>= 2.9.90), libc6 (>= 2.14), libc6 (>= 2.16), libc6 (>= 2.17), libc6 (>= 2.2.5), libc6 (>= 2.25), libc6 (>= 2.28), libcairo2 (>= 1.6.0), libcups2 (>= 1.6.0), libcurl3-gnutls | libcurl3-nss | libcurl4 | libcurl3, libdbus-1-3 (>= 1.9.14), libexpat1 (>= 2.1~beta3), libgbm1 (>= 17.1.0~rc2), libglib2.0-0 (>= 2.37.3), libgtk-3-0 (>= 3.9.10), libgtk-3-0 (>= 3.9.10) | libgtk-4-1, libnspr4 (>= 2:4.9-2~), libnss3 (>= 2:3.30), libnss3 (>= 3.26), libpango-1.0-0 (>= 1.14.0), libudev1 (>= 183), libx11-6, libx11-6 (>= 2:1.4.99.1), libxcb1 (>= 1.9.2), libxcomposite1 (>= 1:0.4.4-1), libxdamage1 (>= 1:1.1), libxext6, libxfixes3, libxkbcommon0 (>= 0.5.0), libxkbfile1 (>= 1:1.1.0), libxrandr2, xdg-utils (>= 1.0.2) Recommends: libvulkan1 Architecture: amd64 Maintainer: VSCodium Team https://github.com/VSCodium/vscodium/graphs/contributors Homepage: https://vscodium.com/ Installed-Size: 429160 Provides: visual-studio-codium Conflicts: visual-studio-codium Replaces: visual-studio-codium Priority: optional Section: devel Filename: pool/main/c/codium/codium_1.103.25610_amd64.deb Size: 110054108 SHA256: aad1635db32f32ac98b8c74b8b6b1899ae388aa383db6b68b589f026c977608c SHA1: 9c16ba4470bff5b6c3968dc8bdcf416acbb79d2b MD5sum: 6b3c8a2378155fe21244ed5c95ee9a11 Description: Code editing. Redefined. VSCodium is a new choice of tool that combines the simplicity of a code editor with what developers need for the core edit-build-debug cycle. See https://github.com/VSCodium/vscodium#download-install for installation instructions and FAQ. Package: draw.io Version: 28.1.2 License: Apache-2.0 Vendor: JGraph Architecture: amd64 Maintainer: JGraph Installed-Size: 386468 Depends: libgtk-3-0, libnotify4, libnss3, libxss1, libxtst6, xdg-utils, libatspi2.0-0, libuuid1, libsecret-1-0 Recommends: libappindicator3-1 Homepage: https://github.com/jgraph/drawio Priority: optional Section: default Filename: pool/main/d/draw.io/draw.io_28.1.2_amd64.deb Size: 104734852 SHA256: 0fc8bff740dceb2e4f917a43eaed77fe9e93eaa6d468b4452736d3f386fcd329 SHA1: 356f993202c052d0a9bc1257a8dac7d8997de9ca MD5sum: 4d16a9425b459be22780738cb7cd29f4 Description: draw.io desktop Package: gmat Version: 2022a-1 Architecture: all Depends: default-jre (>= 2:1.21-75+exp1) Maintainer: Antonio Gutierrez Mayoral Priority: optional Section: education Filename: pool/main/g/gmat/gmat_2022a-1_all.deb Size: 345050892 SHA256: b0dbad5d4338291a06de19a166974cf8f0f358b1adfad4d1f1afcd6199a3972d SHA1: c1f9c7a4e2c00c7435695c11d87fdc0ddda4ce82 MD5sum: dfa95fc374d4989661fd4e6c6d520367 Description: The General Mission Analysis Tool (GMAT) is an open-source tool for space mission design and navigation. GMAT is developed by a team of NASA, private industry, and public and private contributors. Origin: LabLinux Package: jetbrains-intellij-idea-ultimate Version: 2025.1.4.1-1 Architecture: amd64 Maintainer: Antonio Gutierrez Mayoral Priority: optional Section: development Filename: pool/main/j/jetbrains-intellij-idea-ultimate/jetbrains-intellij-idea-ultimate_2025.1.4.1-1_amd64.deb Size: 1234136572 SHA256: b2b615d0dde0782ade4047a193013ee28f268e7a4231d52fe282726f58139a69 SHA1: 0920458e9a7193387e603b40073547bb4f6154d1 MD5sum: ebab131f2d08e6f936906128b1158c23 Description: IntelliJ IDEA is a Java integrated development environment (IDE) for developing computer software.. IntelliJ IDEA is a Java integrated development environment (IDE) for developing computer software. It is developed by JetBrains (formerly known as IntelliJ), and is available as an Apache 2 Licensed community edition, and in a proprietary commercial edition. Both can be used for commercial development. Origin: LabLinux Package: jetbrains-pycharm Version: 2025.1.3.1-1 Architecture: amd64 Maintainer: Antonio Gutierrez Mayoral Priority: optional Section: development Filename: pool/main/j/jetbrains-pycharm/jetbrains-pycharm_2025.1.3.1-1_amd64.deb Size: 862431856 SHA256: 119c2a24fee7b6eda18dc5c44c169b0390dae87bbcfa27bb6c103c41b8907000 SHA1: 66f2c27faa1611afff8fdcda50fdffe1cd983194 MD5sum: e833ea9555752c33a668286bd2a59b61 Description: PyCharm is an Integrated Development Environment (IDE) used in computer programming, specifically for the Python language. It is developed by the Czech company JetBrains. It provides code analysis, a graphical debugger, an integrated unit tester, integration with version control systems (VCSes), and supports web development with Django. Origin: LabLinux Package: jetbrains-pycharm-community Version: 2025.1.3.1-1 Architecture: amd64 Maintainer: Antonio Gutierrez Mayoral Priority: optional Section: development Filename: pool/main/j/jetbrains-pycharm-community/jetbrains-pycharm-community_2025.1.3.1-1_amd64.deb Size: 1510737916 SHA256: 3089683ea60f41a0c8db2743cceb7b79d59cf6cedbbc84c17f9728ede12cd20d SHA1: 266e87638ca00cca9534f8d6651b5c51f6c88ecc MD5sum: b97b0f1504d63859e584318f0ef6aef5 Description: PyCharm is an Integrated Development Environment (IDE) used in computer programming, specifically for the Python language. It is developed by the Czech company JetBrains. It provides code analysis, a graphical debugger, an integrated unit tester, integration with version control systems (VCSes), and supports web development with Django. Origin: LabLinux Package: julia Version: 1.10.5-1 Architecture: amd64 Depends: default-jre (>=2:1.11-72build2) Maintainer: Antonio Gutierrez Mayoral Priority: optional Section: education Filename: pool/main/j/julia/julia_1.10.5-1_amd64.deb Size: 108433280 SHA256: 5065816b3609c513202e63aab895cf935a27b41ee482c83cebcabbdcc6bf67d9 SHA1: 20f02c28c33d4dda57915e7c8fb2c12d46fd54c1 MD5sum: aab9066a4ce3531e90867e850a5814d8 Description: Julia Programming Language Julia is a high-level, general-purpose dynamic programming language. Its features are well suited for numerical analysis and computational science. Distinctive aspects of Julia's design include a type system with parametric polymorphism in a dynamic programming language; with multiple dispatch as its core programming paradigm. Julia supports concurrent, (composable) parallel and distributed computing (with or without using MPI or the built-in corresponding[clarification needed] to "OpenMP-style" threads), and direct calling of C and Fortran libraries without glue code. Julia uses a just-in-time (JIT) compiler that is referred to as "just-ahead-of-time" (JAOT) in the Julia community, as Julia compiles all code (by default) to machine code before running it. Homepage: https://mobiquo.gsyc.urjc.es/netlab.html Origin: LabLinux Package: lower-layer Version: 1:3.3-1~ubuntu2404 Architecture: all Depends: gnat-10 (>= 10.3.0-1ubuntu1~20.04) Maintainer: Antonio Gutierrez Mayoral Priority: optional Section: devel Filename: pool/main/l/lower-layer/lower-layer_3.3-1~ubuntu2404_all.deb Size: 155432 SHA256: 3dd31b6ff954cad252c1d66d36a1ee2ce401d6a40829d84787e63fad5f84dd0b SHA1: a4eae0fa85e8a0f7aab85c14f2ffc495229c994e MD5sum: 5def77e40993070206003e02518da42f Description: Lower Layer programming lib, for teaching courses in EIF, URJC. More info at: https://labs.eif.urjc.es, https://www.urjc.es Origin: LabLinux Package: miniconda3 Maintainer: Antonio Gutierrez Mayoral Version: 24.7.1-0-2 Architecture: amd64 Priority: optional Section: development Filename: pool/main/m/miniconda3/miniconda3_24.7.1-0-2_amd64.deb Size: 324748592 SHA256: 80c1272e4c1bb55bd430b5b8e89a8aae3051acaae62d2fc1f59f839ef59b2127 SHA1: d5f92dbbccca070aae4bc032e068ef413b962263 MD5sum: b705b2b7f45a362bb2ab67e4158db571 Description: Anaconda/Miniconda is a free and open source distribution of the Python and R programming languages for data science and machine learning related applications (large-scale data processing, predictive analytics, scientific computing), that aims to simplify package management and deployment. Package versions are managed by the package management system conda. The Anaconda distribution is used by over 6 million users, and it includes more than 250 popular data science packages suitable for Windows, Linux, and MacOS. Origin:LabLinux Package: miniconda3-env-optimizacion Maintainer: Antonio Gutierrez Mayoral Version: 0.2-2 Architecture: amd64 Priority: optional Section: development Filename: pool/main/m/miniconda3-env-optimizacion/miniconda3-env-optimizacion_0.2-2_amd64.deb Size: 565473416 SHA256: 6159c033508dec77c6bba852cfae30c00eb85767b4e0b62a1995d49bbf4a3b95 SHA1: 46809298a173809fc7c1b823254f01c4ef0a53d0 MD5sum: 639b64ed9675cb86ccde899ed652283c Description: Miniconda3 env for optimizacion course at URJC. Origin:LabLinux Package: mysql-workbench-community Version: 8.0.38-1ubuntu24.04 Architecture: amd64 Maintainer: MySQL Release Engineering Installed-Size: 119830 Depends: libatk1.0-0t64 (>= 1.12.4), libatkmm-1.6-1v5 (>= 2.28.4), libc6 (>= 2.38), libcairo2 (>= 1.18.0), libdeflate0 (>= 1.0), libgcc-s1 (>= 4.2), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0t64 (>= 2.79.0), libglibmm-2.4-1t64 (>= 2.66.7), libglx0, libgssapi-krb5-2 (>= 1.17), libgtk-3-0t64 (>= 3.21.5), libgtk2.0-0t64 (>= 2.8.0), libgtkmm-3.0-1t64 (>= 3.24.9), libjpeg8 (>= 8c), libkrb5-3 (>= 1.6.dfsg.2), liblerc4 (>= 3.0), liblz4-1 (>= 0.0~r130), liblzma5 (>= 5.1.1alpha+20120614), libmysqlclient21 (>= 8.0.11), libodbc2 (>= 2.3.1), libopengl0, libpango-1.0-0 (>= 1.18.0), libpangocairo-1.0-0 (>= 1.14.0), libpng16-16t64 (>= 1.6.2), libproj25 (>= 8.2.0), libpython3.12t64 (>= 3.12.1), libsasl2-2 (>= 2.1.28+dfsg1), libsecret-1-0 (>= 0.7), libsigc++-2.0-0v5 (>= 2.8.0), libsqlite3-0 (>= 3.6.1), libssh-4 (>= 0.8.0), libssl3t64 (>= 3.0.0), libstdc++6 (>= 13.1), libtinfo6 (>= 6), libuuid1 (>= 2.16), libwebp7 (>= 1.3.2), libx11-6, libxml2 (>= 2.7.4), libzip4t64 (>= 0.10), zlib1g (>= 1:1.2.2), libglib2.0-0 (>= 2.28) Suggests: gnome-keyring, libproj-dev Replaces: mysql-workbench, mysql-workbench-data, mysql-workbench-gpl, mysql-workbench-oss Homepage: http://dev.mysql.com/workbench/ Priority: extra Section: utils Filename: pool/main/m/mysql-workbench-community/mysql-workbench-community_8.0.38-1ubuntu24.04_amd64.deb Size: 25521238 SHA256: 79b34a45f02a08e7cc7bf38c8b0119842d9e169748a93a05344233c31a9e1715 SHA1: fe20d3798ad952692769ee5bc2cd8c045608ce8b MD5sum: d34cad604dce18a80896eb37322033f9 Description: MySQL Workbench MySQL Workbench is development, administration and data modeling tool for MySQL. Besides editing and running SQL queries and scripts, it supports the design of MySQL databases through a EER diagram, which is then used to generate SQL scripts. Workbench also supports migration from many RDBMS products to MySQL. Package: netgui Version: 1:0.4.10-2~ubuntu2404 Architecture: amd64 Depends: default-jre (>=2:1.21-75+exp1), telnetd (>=0.17-44build1), xwit (>=3.4-16), libc6-i386 (>=2.35-0ubuntu3), xterm (>=372-1ubuntu1), lib32z1 (>=1.2.11.dfsg-2ubuntu9), libbz2-1.0:i386 (>=1.0.8-5build1), lib32readline8 (>=8.1.2-1), libreadline8 (>=8.1.2-1), wireshark (>= 3.6.2-2) Maintainer: Antonio Gutierrez Mayoral Priority: optional Section: education Filename: pool/main/n/netgui/netgui_0.4.10-2~ubuntu2404_amd64.deb Size: 225735120 SHA256: 28681c19a090f7affb6dde5d2b212b9a1b2f90fde0703d2cc46d3c2cee3bc780 SHA1: 541388f024e09bbc38905d24fa79e2f7edb09b95 MD5sum: 849ae5ac0aee9adb7ca0d93980901cfd Description: Netgui Network Simulator for teaching environments NetGUI is a GUI for Netkit. With NetGUI you can edit network diagrams, boot/shutdown emulated Linux hosts, switches and routers, and interact with them through terminals providing Linux shells. NetGUI is GNU/GPL libre/free software. Homepage: https://mobiquo.gsyc.urjc.es/netlab.html Origin: LabLinux Package: netgui-kathara Version: 1.0.5~ubuntu2404 Architecture: amd64 Depends: default-jre (>=2:1.21-75+exp1), xterm (>=372-1ubuntu1) Maintainer: Eva M. Castro Priority: optional Section: education Filename: pool/main/n/netgui-kathara/netgui-kathara_1.0.5~ubuntu2404_amd64.deb Size: 11091390 SHA256: 1ebd2012724ded0f3897abffcb2caa0c22e4b6223f45e3535253201e01ba6c05 SHA1: 555d8f81ae1ad926d3b344e7698d1f33a8fdaf74 MD5sum: b468d105dc5b6eeafa028b68bdaaa563 Description: Netgui Network Simulator for teaching environments using Kathará NetGUI is a GUI for Kathará. With NetGUI you can edit network diagrams, boot/shutdown emulated Linux hosts, switches and routers, and interact with them through terminals providing Linux shells. NetGUI is GNU/GPL libre/free software. Homepage: https://gitlab.eif.urjc.es/eva/netgui-kathara Origin: LabLinux Package: netgui-ng Version: 1:0.4.10-3~ubuntu2404 Architecture: amd64 Depends: default-jre (>=2:1.21-75+exp1), telnetd (>=0.17+2.5-3ubuntu4), xwit (>=3.4-16), libc6-i386 (>=2.39-0ubuntu8), xterm (>=390-1ubuntu3), lib32z1 (>=1:1.3.dfsg-3.1ubuntu2), libbz2-1.0:i386 (>=1.0.8-5.1), lib32readline8 (>=8.2-4build1), libreadline8 (>=8.2-4build1), wireshark (>=4.2.2-1.1build3) Maintainer: Antonio Gutierrez Mayoral Priority: optional Section: education Filename: pool/main/n/netgui-ng/netgui-ng_0.4.10-3~ubuntu2404_amd64.deb Size: 367779792 SHA256: eb52681aa07ee11a5485a4c44ab153bfc9799dd46db6e4a75dbb7848216c7f11 SHA1: f449bcccb36100f230c5be0739e44f660c90ec21 MD5sum: 51b10cdfac3c7e32f2722697460c2f06 Description: Netgui Network Simulator for teaching environments (Next Generation) NetGUI is a GUI for Netkit. With NetGUI you can edit network diagrams, boot/shutdown emulated Linux hosts, switches and routers, and interact with them through terminals providing Linux shells. NetGUI is GNU/GPL libre/free software. Homepage: https://mobiquo.gsyc.urjc.es/netlab.html Origin: LabLinux Package: open-code Version: 1.3.2 Architecture: amd64 Installed-Size: 200316 Maintainer: Anomaly Innovations Depends: libwebkit2gtk-4.1-0, libgtk-3-0 Priority: optional Section: dev Filename: pool/main/o/open-code/open-code_1.3.2_amd64.deb Size: 93219820 SHA256: 1fd96195ceaa473dd12708d61ca38c3bcbe627c75da7fd99da1c1935505a2ba4 SHA1: 9a7084a554c20edcae8cdf920fc55e9d859ec3db MD5sum: 936b07703b549d732f174cc120677b90 Description: The open source AI coding agent (none) Package: opensignals Version: 2.2.5 Architecture: amd64 Depends: libgtk-3-0, libnotify4, libnss3, libxtst6, xdg-utils, libatspi2.0-0, libdrm2, libgbm1, libxcb-dri3-0, kde-cli-tools | kde-runtime | trash-cli | libglib2.0-bin | gvfs-bin Recommends: pulseaudio | libasound2 Suggests: gir1.2-gnomekeyring-1.0, libgnome-keyring0, lsb-release Installed-Size: 792932 Maintainer: PLUX S.A Priority: optional Section: utils Filename: pool/main/o/opensignals/opensignals_2.2.5_amd64.deb Size: 212637912 SHA256: b8a301d48d81596259eac6b2dedafc54b1840bb78a8f91a1476d4634cba8e5a9 SHA1: 83fc1cd94974a5e330dfaa1f074540f3bf0e2b18 MD5sum: ebd6e9d9112aa2474a9732ae5b3d7e28 Description: OpenSignals OpenSignals Package: plymouth-theme-ubuntu-urjc-logo Version: 1:0.24.4-1~ubuntu2404 Architecture: amd64 Maintainer: Antonio Gutierrez Mayoral Installed-Size: 183 Depends: plymouth (>= 0.9.5+git20211018-1ubuntu3), plymouth-label (>= 0.9.5+git20211018-1ubuntu3) Provides: plymouth-theme Homepage: http://www.freedesktop.org/wiki/Software/Plymouth Priority: optional Section: misc Filename: pool/main/p/plymouth-theme-ubuntu-urjc-logo/plymouth-theme-ubuntu-urjc-logo_0.24.4-1~ubuntu2404_amd64.deb Size: 108948 SHA256: a60f160a5a43c626c2a9cde3c913479c196005280be378c3962bf641899cb339 SHA1: 8e6ec6a43f87ffb501892a9185ef5cf8f0c3b2fc MD5sum: 6259c6b25547b4973e1dee2f1467851d Description: boot animation, logger and I/O multiplexer - ubuntu urjc linux lab theme Plymouth provides a boot-time I/O multiplexing framework - the most obvious use for which is to provide an attractive graphical animation in place of the text messages that normally get shown during boot. (The messages are instead redirected to a logfile for later viewing.) However, in event-driven boot systems Plymouth can also usefully handle user interaction such as password prompts for encrypted file systems. . This package contains the default ubuntu-urjc-logo theme. Package: rars Version: 1:1.6-1~ubuntu2404 Architecture: all Depends: default-jre (>= 2:1.21-75+exp1) Maintainer: Antonio Gutierrez Mayoral Priority: optional Section: education Filename: pool/main/r/rars/rars_1.6-1~ubuntu2404_all.deb Size: 2036712 SHA256: d30f4a7a5aa1749b702220b25a0bd917b34bfd9bd99457ad4349bb05ad00888a SHA1: de71f8f7c15cf2b05d0d5cb2a660bcaa01bb975c MD5sum: a7ac905b4e34483afb327fea6fbbc529 Description: RARS, the RISC-V Assembler, Simulator, and Runtime, will assemble and simulate the execution of RISC-V assembly language programs. Its primary goal is to be an effective development environment for people getting started with RISC-V. Origin: LabLinux Package: rstudio Architecture: amd64 Depends: libssl-dev, libclang-dev, libsqlite3-0, libxkbcommon-x11-0, libc6 (>= 2.7) Priority: optional Section: devel Filename: pool/main/r/rstudio/rstudio_2025.09.0+387_amd64.deb Size: 216757280 SHA256: 851fb6428f653eb2560a5ea5bc8029e076979c9898864eaf85c6344638683e89 SHA1: 57da033e6f4639d1f46a9e926557fecd69d71123 MD5sum: 9a69a1e4a849936409cf0efe0526dcb4 Description: RStudio RStudio is an integrated development environment (IDE) designed to support multiple languages, including both R and Python. It includes a console, syntax-highlighting editor that supports direct code execution, and a variety of robust tools for plotting, viewing history, debugging and managing your workspace. Maintainer: RStudio Suggests: r-base (>= 3.6.0) Version: 2025.09.0+387 Installed-Size: 901315 Package: segger-embedded-studio-lablinux Version: 7.32a-1 Architecture: amd64 Depends: default-jre (>=2:1.21-75+exp1) Maintainer: Antonio Gutierrez Mayoral Priority: optional Section: education Filename: pool/main/s/segger-embedded-studio-lablinux/segger-embedded-studio-lablinux_7.32a-1_amd64.deb Size: 375581020 SHA256: 06062d59331780059ee7d2926d6690acaf23dedd02a70b22132d7a94c81b76a4 SHA1: 2e72ce3135d6090927d18896522a23ac2f41dea5 MD5sum: 2480d8d261836888b22327d1b09888af Description: SEGGER Embedded Studio is a complete all-in-one solution for managing, building, testing and deploying your embedded applications. Homepage: https://www.segger.com/products/development-tools/embedded-studio/ Origin: LabLinux Package: thonny-lablinux Version: 4.1.6-1 Architecture: amd64 Maintainer: Antonio Gutierrez Mayoral Homepage: https://thonny.org Depends: mypy, pylint, python3-asttokens (>= 2.0), python3-pip, python3-pkg-resources, python3-tk, python3-venv, python3-wheel, python3-docutils, python3-jedi (>= 0.18~), python3-mypy, python3-send2trash (>= 1.5), python3-serial (>= 3.4~), python3:any Recommends: xsel, zenity Suggests: python3-distro Installed-Size: 5663 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Priority: optional Section: universe/devel Filename: pool/main/t/thonny-lablinux/thonny-lablinux_4.1.6-1_amd64.deb Size: 38576612 SHA256: 21da84fec049673c2d4812ee3267334ecbaa2aa525605e26b05db70b570690d6 SHA1: 575f6b63063077d80708a42df42e84e590315569 MD5sum: bf9a5b5c327a592023c09730a4be7434 Description: Python IDE for beginners Thonny is a simple Python IDE with features useful for learning programming. . It comes with a debugger which is able to visualize all the conceptual steps taken to run a Python program (executing statements, evaluating expressions, maintaining the call stack). There is a GUI for installing 3rd party packages and special mode for learning about references. . See the homepage for more information and screenshots. . This package contains a newer version for the Linux Laboratories at EIF, URJC. Origin: LabLinux Package: vncweb Architecture: all Version: 1:0.24.04-1~ubuntu2404 Origin: LabLinux Maintainer: Antonio Gutierrez Mayoral Depends: dbus-x11, adduser, net-tools, python3-novnc, websockify, tigervnc-standalone-server, tftp-hpa, pwgen Conflicts: tightvncserver Homepage: https://github.com/kanaka/noVNC Priority: optional Section: base Filename: pool/main/v/vncweb/vncweb_0.24.04-1~ubuntu2404_all.deb Size: 819144 SHA256: eefce5f34ab852cf6121a71c173946492cd6429f1f95ee60ebb1f794811f114b SHA1: de93be8344c263a2e0ef789cdbbb4c1c7c2e50c7 MD5sum: cfe22eff4aa233852c992932365810b5 Description: novnc-lablinux is a customize edition of novnc package on Debian/Ubuntu, for the students at Rey Juan Carlos University. Throught this app they can connect to the teaching linux laboratory using novnc. HTML5 VNC client - daemon and programs noVNC is a HTML5 VNC (WebSockets, Canvas) with encryption (wss://) support client that runs well in any modern browser including mobile browsers (iPhone/iPad and Android). More than 16 companies/projects have integrated noVNC into their products including Ganeti Web Manager, OpenStack, and OpenNebula. . This package contains the daemon and programs.