Index of /tlatoolbox/branches/master/toolboxUpdate/plugins

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]com.abstratt.content_2.5.201812.jar2025-09-10 23:28 11K 
[ ]com.abstratt.graphviz.ui_2.5.201812.jar2025-09-10 23:28 17K 
[ ]com.abstratt.graphviz_2.5.201812.jar2025-09-10 23:28 17K 
[ ]com.abstratt.imageviewer_2.5.201812.jar2025-09-10 23:28 35K 
[ ]com.abstratt.pluginutils_2.5.201812.jar2025-09-10 23:28 11K 
[ ]com.google.gson_2.10.1.v20230109-0753.jar2025-09-10 23:28 309K 
[ ]com.ibm.icu_73.2.0.jar2025-09-10 23:28 14M 
[ ]com.sun.el.javax.el_3.0.0.jar2025-09-10 23:28 219K 
[ ]de.vonloesch.pdf4Eclipse_1.1.0.201907070246.jar2025-09-10 23:28 1.7M 
[ ]jakarta.servlet-api_4.0.0.jar2025-09-10 23:28 81K 
[ ]javax.activation_2.0.0.v20201118-1818.jar2025-09-10 23:28 81K 
[ ]javax.el-api_3.0.3.jar2025-09-10 23:28 78K 
[ ]javax.mail_1.4.0.v201005080615.jar2025-09-10 23:28 325K 
[ ]javax.servlet.jsp-api_2.3.3.jar2025-09-10 23:28 53K 
[ ]org.apache.batik.constants_1.16.0.v20221027-0840.jar2025-09-10 23:28 22K 
[ ]org.apache.batik.css_1.16.0.v20221027-0840.jar2025-09-10 23:28 361K 
[ ]org.apache.batik.i18n_1.16.0.v20221027-0840.jar2025-09-10 23:28 25K 
[ ]org.apache.batik.util_1.16.0.v20221027-0840.jar2025-09-10 23:28 147K 
[ ]org.apache.commons.beanutils_1.8.0.v201205091237.jar2025-09-10 23:28 249K 
[ ]org.apache.commons.collections_3.2.2.v20220405-1659.jar2025-09-10 23:28 624K 
[ ]org.apache.commons.io_2.0.1.v201105210651.jar2025-09-10 23:28 174K 
[ ]org.apache.commons.lang3_3.12.0.v20221221-1931.jar2025-09-10 23:28 618K 
[ ]org.apache.commons.lang_2.6.0.v20220406-2305.jar2025-09-10 23:28 301K 
[ ]org.apache.felix.gogo.command_1.1.2.jar2025-09-10 23:28 39K 
[ ]org.apache.felix.gogo.runtime_1.1.6.jar2025-09-10 23:28 199K 
[ ]org.apache.felix.gogo.shell_1.1.4.jar2025-09-10 23:28 58K 
[ ]org.apache.jasper.glassfish_2.2.2.v201501141630.jar2025-09-10 23:28 2.4M 
[ ]org.apache.xmlgraphics_2.7.0.v20221018-0736.jar2025-09-10 23:28 717K 
[ ]org.eclipse.compare.core_3.8.100.v20230726-0617.jar2025-09-10 23:28 70K 
[ ]org.eclipse.compare_3.9.200.v20230726-0617.jar2025-09-10 23:28 809K 
[ ]org.eclipse.core.commands_3.11.100.v20230708-0916.jar2025-09-10 23:28 117K 
[ ]org.eclipse.core.contenttype_3.9.100.v20230630-1232.jar2025-09-10 23:28 102K 
[ ]org.eclipse.core.databinding.beans_1.10.100.v20230708-0916.jar2025-09-10 23:28 83K 
[ ]org.eclipse.core.databinding.observable_1.13.100.v20230708-0916.jar2025-09-10 23:28 315K 
[ ]org.eclipse.core.databinding.property_1.10.100.v20230708-0916.jar2025-09-10 23:28 166K 
[ ]org.eclipse.core.databinding_1.13.100.v20230708-0916.jar2025-09-10 23:28 288K 
[ ]org.eclipse.core.expressions_3.9.100.v20230726-0617.jar2025-09-10 23:28 95K 
[ ]org.eclipse.core.filebuffers_3.8.100.v20230727-0604.jar2025-09-10 23:28 117K 
[ ]org.eclipse.core.filesystem.linux.x86_64_1.2.400.v20220812-1420.jar2025-09-10 23:28 13K 
[ ]org.eclipse.core.filesystem.macosx_1.3.400.v20220812-1420.jar2025-09-10 23:28 27K 
[ ]org.eclipse.core.filesystem.win32.x86_64_1.4.300.v20220812-1420.jar2025-09-10 23:28 39K 
[ ]org.eclipse.core.filesystem_1.10.100.v20230717-1727.jar2025-09-10 23:28 72K 
[ ]org.eclipse.core.jobs_3.15.0.v20230808-1403.jar2025-09-10 23:28 116K 
[ ]org.eclipse.core.net.win32.x86_64_1.2.100.v20230617-1158.jar2025-09-10 23:28 9.6K 
[ ]org.eclipse.core.net_1.5.100.v20230630-1232.jar2025-09-10 23:28 50K 
[ ]org.eclipse.core.resources_3.19.100.v20230814-1312.jar2025-09-10 23:28 900K 
[ ]org.eclipse.core.runtime_3.29.0.v20230726-0617.jar2025-09-10 23:28 78K 
[ ]org.eclipse.core.variables_3.6.100.v20230726-0617.jar2025-09-10 23:28 38K 
[ ]org.eclipse.debug.core_3.21.100.v20230731-1425.jar2025-09-10 23:28 401K 
[ ]org.eclipse.e4.core.commands_1.1.100.v20230630-1554.jar2025-09-10 23:28 29K 
[ ]org.eclipse.e4.core.contexts_1.12.100.v20230725-1354.jar2025-09-10 23:28 57K 
[ ]org.eclipse.e4.core.di.annotations_1.8.100.v20230617-1158.jar2025-09-10 23:28 14K 
[ ]org.eclipse.e4.core.di.extensions.supplier_0.17.100.v20230630-1232.jar2025-09-10 23:28 42K 
[ ]org.eclipse.e4.core.di.extensions_0.18.0.v20230429-1914.jar2025-09-10 23:28 13K 
[ ]org.eclipse.e4.core.di_1.9.100.v20230721-1753.jar2025-09-10 23:28 55K 
[ ]org.eclipse.e4.core.services_2.4.100.v20230708-0809.jar2025-09-10 23:28 72K 
[ ]org.eclipse.e4.emf.xpath_0.4.100.v20230801-1255.jar2025-09-10 23:28 54K 
[ ]org.eclipse.e4.ui.bindings_0.14.100.v20230630-1554.jar2025-09-10 23:28 49K 
[ ]org.eclipse.e4.ui.css.core_0.14.100.v20230727-0604.jar2025-09-10 23:28 219K 
[ ]org.eclipse.e4.ui.css.swt.theme_0.14.100.v20230727-0604.jar2025-09-10 23:28 30K 
[ ]org.eclipse.e4.ui.css.swt_0.15.100.v20230727-0604.jar2025-09-10 23:28 206K 
[ ]org.eclipse.e4.ui.di_1.5.100.v20230630-1554.jar2025-09-10 23:28 18K 
[ ]org.eclipse.e4.ui.dialogs_1.4.100.v20230727-0604.jar2025-09-10 23:28 59K 
[ ]org.eclipse.e4.ui.ide_3.17.100.v20230727-0604.jar2025-09-10 23:28 13K 
[ ]org.eclipse.e4.ui.model.workbench_2.4.100.v20230801-1255.jar2025-09-10 23:28 397K 
[ ]org.eclipse.e4.ui.progress_0.4.100.v20230727-0604.jar2025-09-10 23:28 210K 
[ ]org.eclipse.e4.ui.services_1.6.100.v20230630-1554.jar2025-09-10 23:28 26K 
[ ]org.eclipse.e4.ui.swt.gtk_1.2.0.v20230501-1823.jar2025-09-10 23:28 13K 
[ ]org.eclipse.e4.ui.swt.win32_1.2.0.v20230501-1823.jar2025-09-10 23:28 12K 
[ ]org.eclipse.e4.ui.widgets_1.4.0.v20230317-0802.jar2025-09-10 23:28 15K 
[ ]org.eclipse.e4.ui.workbench.addons.swt_1.5.100.v20230727-0604.jar2025-09-10 23:28 120K 
[ ]org.eclipse.e4.ui.workbench.renderers.swt.cocoa_0.14.100.v20230630-1554.jar2025-09-10 23:28 32K 
[ ]org.eclipse.e4.ui.workbench.renderers.swt_0.16.100.v20230801-1255.jar2025-09-10 23:28 256K 
[ ]org.eclipse.e4.ui.workbench.swt_0.17.100.v20230727-0604.jar2025-09-10 23:28 150K 
[ ]org.eclipse.e4.ui.workbench3_0.17.100.v20230727-0604.jar2025-09-10 23:28 23K 
[ ]org.eclipse.e4.ui.workbench_1.15.100.v20230819-0347.jar2025-09-10 23:28 270K 
[ ]org.eclipse.ecf.filetransfer_5.1.102.v20210409-2301.jar2025-09-10 23:28 53K 
[ ]org.eclipse.ecf.identity_3.10.0.v20230422-0242.jar2025-09-10 23:28 68K 
[ ]org.eclipse.ecf.provider.filetransfer.ssl_1.1.0.v20230422-0242.jar2025-09-10 23:28 12K 
[ ]org.eclipse.ecf.provider.filetransfer_3.3.0.v20230422-0242.jar2025-09-10 23:28 135K 
[ ]org.eclipse.ecf.ssl_1.3.0.v20230507-1921.jar2025-09-10 23:28 19K 
[ ]org.eclipse.ecf_3.11.0.v20230507-1923.jar2025-09-10 23:28 133K 
[ ]org.eclipse.emf.common_2.29.0.v20230810-0713.jar2025-09-10 23:28 379K 
[ ]org.eclipse.emf.ecore.change_2.15.0.v20230211-1150.jar2025-09-10 23:28 92K 
[ ]org.eclipse.emf.ecore.xmi_2.35.0.v20230801-1141.jar2025-09-10 23:28 239K 
[ ]org.eclipse.emf.ecore_2.35.0.v20230829-0934.jar2025-09-10 23:28 1.3M 
[ ]org.eclipse.equinox.app_1.6.300.v20230630-1303.jar2025-09-10 23:28 92K 
[ ]org.eclipse.equinox.bidi_1.4.300.v20230630-1303.jar2025-09-10 23:28 53K 
[ ]org.eclipse.equinox.common_3.18.100.v20230730-1117.jar2025-09-10 23:28 151K 
[ ]org.eclipse.equinox.concurrent_1.2.100.v20211021-1418.jar2025-09-10 23:28 26K 
[ ]org.eclipse.equinox.console_1.4.500.v20211021-1418.jar2025-09-10 23:28 129K 
[ ]org.eclipse.equinox.event_1.6.200.v20230120-0604.jar2025-09-10 23:28 35K 
[ ]org.eclipse.equinox.frameworkadmin.equinox_1.2.400.v20230630-1506.jar2025-09-10 23:28 72K 
[ ]org.eclipse.equinox.frameworkadmin_2.2.200.v20230630-1506.jar2025-09-10 23:28 39K 
[ ]org.eclipse.equinox.http.jetty_3.8.300.v20230630-1303.jar2025-09-10 23:28 31K 
[ ]org.eclipse.equinox.http.registry_1.3.300.v20230630-1303.jar2025-09-10 23:28 50K 
[ ]org.eclipse.equinox.http.servlet_1.7.400.v20221006-1531.jar2025-09-10 23:28 236K 
[ ]org.eclipse.equinox.jsp.jasper.registry_1.2.100.v20211021-1418.jar2025-09-10 23:28 13K 
[ ]org.eclipse.equinox.jsp.jasper_1.1.700.v20220801-1124.jar2025-09-10 23:28 29K 
[ ]org.eclipse.equinox.launcher.cocoa.macosx.x86_64_1.2.700.v20221108-1024.jar2025-09-10 23:28 43K 
[ ]org.eclipse.equinox.launcher.gtk.linux.x86_64_1.2.700.v20221108-1024.jar2025-09-10 23:28 88K 
[ ]org.eclipse.equinox.launcher.win32.win32.x86_64_1.2.700.v20221108-1024.jar2025-09-10 23:28 136K 
[ ]org.eclipse.equinox.launcher_1.6.500.v20230717-2134.jar2025-09-10 23:28 55K 
[ ]org.eclipse.equinox.p2.artifact.repository_1.5.100.v20230630-1506.jar2025-09-10 23:28 172K 
[ ]org.eclipse.equinox.p2.console_1.3.100.v20230630-1506.jar2025-09-10 23:28 31K 
[ ]org.eclipse.equinox.p2.core_2.10.100.v20230814-2013.jar2025-09-10 23:28 81K 
[ ]org.eclipse.equinox.p2.director.app_1.3.100.v20230630-1506.jar2025-09-10 23:28 62K 
[ ]org.eclipse.equinox.p2.director_2.6.100.v20230718-0609.jar2025-09-10 23:28 113K 
[ ]org.eclipse.equinox.p2.engine_2.8.100.v20230630-1506.jar2025-09-10 23:28 237K 
[ ]org.eclipse.equinox.p2.garbagecollector_1.3.100.v20230630-1506.jar2025-09-10 23:28 27K 
[ ]org.eclipse.equinox.p2.jarprocessor_1.3.200.v20230630-1506.jar2025-09-10 23:28 64K 
[ ]org.eclipse.equinox.p2.metadata.repository_1.5.100.v20230630-1506.jar2025-09-10 23:28 137K 
[ ]org.eclipse.equinox.p2.metadata_2.7.100.v20230630-1506.jar2025-09-10 23:28 365K 
[ ]org.eclipse.equinox.p2.operations_2.7.100.v20230630-1506.jar2025-09-10 23:28 77K 
[ ]org.eclipse.equinox.p2.repository_2.7.100.v20230710-0621.jar2025-09-10 23:28 185K 
[ ]org.eclipse.equinox.p2.touchpoint.eclipse_2.4.100.v20230630-1506.jar2025-09-10 23:28 136K 
[ ]org.eclipse.equinox.p2.touchpoint.natives_1.5.100.v20230630-1506.jar2025-09-10 23:28 89K 
[ ]org.eclipse.equinox.p2.transport.ecf_1.4.100.v20230630-1506.jar2025-09-10 23:28 48K 
[ ]org.eclipse.equinox.p2.ui.sdk.scheduler_1.6.100.v20230630-1506.jar2025-09-10 23:28 109K 
[ ]org.eclipse.equinox.p2.ui.sdk_1.3.100.v20230728-2010.jar2025-09-10 23:28 81K 
[ ]org.eclipse.equinox.p2.ui_2.8.100.v20230728-2010.jar2025-09-10 23:28 699K 
[ ]org.eclipse.equinox.p2.updatechecker_1.4.100.v20230630-1506.jar2025-09-10 23:28 20K 
[ ]org.eclipse.equinox.preferences_3.10.300.v20230630-1303.jar2025-09-10 23:28 137K 
[ ]org.eclipse.equinox.registry_3.11.300.v20230801-1826.jar2025-09-10 23:28 198K 
[ ]org.eclipse.equinox.security.linux_1.1.0.v20230630-1303.jar2025-09-10 23:28 26K 
[ ]org.eclipse.equinox.security.macosx_1.102.0.v20230616-1215.jar2025-09-10 23:28 30K 
[ ]org.eclipse.equinox.security.ui_1.4.0.v20230728-2008.jar2025-09-10 23:28 173K 
[ ]org.eclipse.equinox.security.win32.x86_64_1.2.0.v20230616-1215.jar2025-09-10 23:28 43K 
[ ]org.eclipse.equinox.security_1.4.0.v20230630-1303.jar2025-09-10 23:28 116K 
[ ]org.eclipse.equinox.simpleconfigurator.manipulator_2.2.200.v20230630-1506.jar2025-09-10 23:28 29K 
[ ]org.eclipse.equinox.simpleconfigurator_1.4.300.v20230630-1506.jar2025-09-10 23:28 49K 
[ ]org.eclipse.help.base_4.4.100.v20230903-1000.jar2025-09-10 23:28 441K 
[ ]org.eclipse.help.ui_4.6.0.v20230726-0617.jar2025-09-10 23:28 539K 
[ ]org.eclipse.help.webapp_3.11.100.v20230726-0617.jar2025-09-10 23:28 745K 
[ ]org.eclipse.help_3.10.100.v20230726-0617.jar2025-09-10 23:28 275K 
[ ]org.eclipse.jdt.annotation_2.2.700.v20220826-1026.jar2025-09-10 23:28 27K 
[ ]org.eclipse.jdt.core_3.35.0.v20230814-1356.jar2025-09-10 23:28 4.0M 
[ ]org.eclipse.jdt.debug_3.21.100.v20230728-0612.jar2025-09-10 23:28 926K 
[ ]org.eclipse.jdt.launching.macosx_3.6.100.v20230630-1429.jar2025-09-10 23:28 21K 
[ ]org.eclipse.jdt.launching_3.20.100.v20230814-1810.jar2025-09-10 23:28 583K 
[ ]org.eclipse.jetty.http_10.0.15.jar2025-09-10 23:28 257K 
[ ]org.eclipse.jetty.io_10.0.15.jar2025-09-10 23:28 212K 
[ ]org.eclipse.jetty.security_10.0.15.jar2025-09-10 23:28 118K 
[ ]org.eclipse.jetty.server_10.0.15.jar2025-09-10 23:28 778K 
[ ]org.eclipse.jetty.servlet_10.0.15.jar2025-09-10 23:28 162K 
[ ]org.eclipse.jetty.util.ajax_10.0.15.jar2025-09-10 23:28 62K 
[ ]org.eclipse.jetty.util_10.0.15.jar2025-09-10 23:28 557K 
[ ]org.eclipse.jface.databinding_1.15.100.v20230708-0916.jar2025-09-10 23:28 292K 
[ ]org.eclipse.jface.notifications_0.6.100.v20230727-0604.jar2025-09-10 23:28 33K 
[ ]org.eclipse.jface.text_3.24.100.v20230727-0604.jar2025-09-10 23:28 1.0M 
[ ]org.eclipse.jface_3.31.0.v20230821-1552.jar2025-09-10 23:28 1.1M 
[ ]org.eclipse.justj.openjdk.hotspot.jre.full.linux.x86_64_17.0.16.v20250725-1021.jar2025-09-10 23:28 114M 
[ ]org.eclipse.justj.openjdk.hotspot.jre.full.macosx.x86_64_17.0.16.v20250725-1021.jar2025-09-10 23:28 113M 
[ ]org.eclipse.justj.openjdk.hotspot.jre.full.win32.x86_64_17.0.16.v20250725-1021.jar2025-09-10 23:28 112M 
[ ]org.eclipse.justj.openjdk.hotspot.jre.full_17.0.16.v20250725-1021.jar2025-09-10 23:28 21K 
[ ]org.eclipse.mylyn.commons.core_3.24.2.v20180904-2231.jar2025-09-10 23:28 123K 
[ ]org.eclipse.mylyn.commons.notifications.core_1.16.0.v20180904-2231.jar2025-09-10 23:28 14K 
[ ]org.eclipse.mylyn.commons.notifications.feed_1.16.0.v20180904-2231.jar2025-09-10 23:28 31K 
[ ]org.eclipse.mylyn.commons.notifications.ui_1.16.0.v20180904-2231.jar2025-09-10 23:28 62K 
[ ]org.eclipse.mylyn.commons.screenshots_3.24.2.v20180904-2231.jar2025-09-10 23:28 110K 
[ ]org.eclipse.mylyn.commons.ui_3.24.2.v20180904-2231.jar2025-09-10 23:28 330K 
[ ]org.eclipse.mylyn.commons.workbench_3.24.2.v20180904-2231.jar2025-09-10 23:28 177K 
[ ]org.eclipse.osgi.compatibility.state_1.2.800.v20221116-1440.jar2025-09-10 23:28 251K 
[ ]org.eclipse.osgi.services_3.11.100.v20221006-1531.jar2025-09-10 23:28 48K 
[ ]org.eclipse.osgi.util_3.7.200.v20230103-1101.jar2025-09-10 23:28 14K 
[ ]org.eclipse.osgi_3.18.500.v20230801-1826.jar2025-09-10 23:28 1.5M 
[ ]org.eclipse.rcp_4.29.0.v20230903-1000.jar2025-09-10 23:28 13K 
[ ]org.eclipse.swt.cocoa.macosx.x86_64_3.124.100.v20230825-1346.jar2025-09-10 23:28 2.2M 
[ ]org.eclipse.swt.gtk.linux.x86_64_3.124.100.v20230825-1346.jar2025-09-10 23:28 2.1M 
[ ]org.eclipse.swt.win32.win32.x86_64_3.124.100.v20230825-1346.jar2025-09-10 23:28 2.5M 
[ ]org.eclipse.swt_3.124.100.v20230825-1346.jar2025-09-10 23:28 19K 
[ ]org.eclipse.team.core_3.10.100.v20230726-0617.jar2025-09-10 23:28 405K 
[ ]org.eclipse.team.ui_3.10.100.v20230726-0617.jar2025-09-10 23:28 1.4M 
[ ]org.eclipse.text_3.13.100.v20230801-1334.jar2025-09-10 23:28 299K 
[ ]org.eclipse.ui.browser_3.8.100.v20230727-0604.jar2025-09-10 23:28 210K 
[ ]org.eclipse.ui.cocoa_1.3.100.v20230214-1401.jar2025-09-10 23:28 11K 
[ ]org.eclipse.ui.console_3.13.0.v20230726-0617.jar2025-09-10 23:28 247K 
[ ]org.eclipse.ui.editors_3.17.0.v20230821-1342.jar2025-09-10 23:28 613K 
[ ]org.eclipse.ui.forms_3.13.0.v20230807-1354.jar2025-09-10 23:28 333K 
[ ]org.eclipse.ui.ide_3.21.100.v20230825-1346.jar2025-09-10 23:28 2.3M 
[ ]org.eclipse.ui.intro.quicklinks_1.2.100.v20230726-0617.jar2025-09-10 23:28 26K 
[ ]org.eclipse.ui.intro.universal_3.5.100.v20230726-0617.jar2025-09-10 23:28 2.1M 
[ ]org.eclipse.ui.intro_3.7.100.v20230726-0617.jar2025-09-10 23:28 350K 
[ ]org.eclipse.ui.navigator_3.12.100.v20230821-1342.jar2025-09-10 23:28 429K 
[ ]org.eclipse.ui.net_1.5.100.v20230726-0617.jar2025-09-10 23:28 48K 
[ ]org.eclipse.ui.themes_1.2.2300.v20230807-1354.jar2025-09-10 23:28 34K 
[ ]org.eclipse.ui.views.properties.tabbed_3.10.100.v20230727-0604.jar2025-09-10 23:28 111K 
[ ]org.eclipse.ui.views_3.12.100.v20230821-1342.jar2025-09-10 23:28 108K 
[ ]org.eclipse.ui.workbench.texteditor_3.17.100.v20230821-0745.jar2025-09-10 23:28 694K 
[ ]org.eclipse.ui.workbench_3.130.0.v20230822-0911.jar2025-09-10 23:28 3.5M 
[ ]org.eclipse.ui_3.204.0.v20230821-1342.jar2025-09-10 23:28 434K 
[ ]org.eclipse.update.configurator_3.5.100.v20230726-0617.jar2025-09-10 23:28 99K 
[ ]org.eclipse.urischeme_1.3.100.v20230727-0604.jar2025-09-10 23:28 54K 
[ ]org.jpedal.pdf_4.74.27.jar2025-09-10 23:28 1.8M 
[ ]org.lamport.tla.toolbox.doc_1.8.0.202509102125.jar2025-09-10 23:28 4.9M 
[ ]org.lamport.tla.toolbox.editor.basic_1.0.0.202509102125.jar2025-09-10 23:28 391K 
[ ]org.lamport.tla.toolbox.product.standalone_1.0.0.202509102125.jar2025-09-10 23:28 315K 
[ ]org.lamport.tla.toolbox.tool.prover_1.0.0.202509102125.jar2025-09-10 23:28 130K 
[ ]org.lamport.tla.toolbox.tool.tla2tex_1.0.0.202509102125.jar2025-09-10 23:28 33K 
[ ]org.lamport.tla.toolbox.tool.tlc.ui_1.0.0.202509102125.jar2025-09-10 23:28 882K 
[ ]org.lamport.tla.toolbox.tool.tlc_1.0.0.202509102125.jar2025-09-10 23:28 144K 
[ ]org.lamport.tla.toolbox_1.0.0.202509102125.jar2025-09-10 23:28 398K 
[ ]org.lamport.tlatools_1.0.0.202509102125.jar2025-09-10 23:28 4.6M 
[ ]org.osgi.service.cm_1.6.1.202109301733.jar2025-09-10 23:28 54K 
[ ]org.osgi.service.component_1.5.1.202212101352.jar2025-09-10 23:28 65K 
[ ]org.osgi.service.device_1.1.1.202109301733.jar2025-09-10 23:28 20K 
[ ]org.osgi.service.event_1.4.1.202109301733.jar2025-09-10 23:28 47K 
[ ]org.osgi.service.metatype_1.4.1.202109301733.jar2025-09-10 23:28 30K 
[ ]org.osgi.service.prefs_1.1.2.202109301733.jar2025-09-10 23:28 20K 
[ ]org.osgi.service.provisioning_1.2.0.201505202024.jar2025-09-10 23:28 13K 
[ ]org.osgi.service.upnp_1.2.1.202109301733.jar2025-09-10 23:28 31K 
[ ]org.osgi.service.useradmin_1.1.1.202109301733.jar2025-09-10 23:28 36K 
[ ]org.osgi.service.wireadmin_1.0.2.202109301733.jar2025-09-10 23:28 43K 
[ ]org.osgi.util.function_1.2.0.202109301733.jar2025-09-10 23:28 23K 
[ ]org.osgi.util.measurement_1.0.2.201802012109.jar2025-09-10 23:28 26K 
[ ]org.osgi.util.position_1.0.1.201505202026.jar2025-09-10 23:28 14K 
[ ]org.osgi.util.promise_1.3.0.202212101352.jar2025-09-10 23:28 84K 
[ ]org.osgi.util.xml_1.0.2.202109301733.jar2025-09-10 23:28 18K 
[ ]org.tukaani.xz_1.9.0.jar2025-09-10 23:28 113K 
[ ]org.w3c.css.sac_1.3.1.v200903091627.jar2025-09-10 23:28 36K 
[ ]org.w3c.dom.events_3.0.0.draft20060413_v201105210656.jar2025-09-10 23:28 15K 
[ ]org.w3c.dom.smil_1.0.1.v200903091627.jar2025-09-10 23:28 21K 
[ ]org.w3c.dom.svg_1.1.0.v201011041433.jar2025-09-10 23:28 95K 
Apache/2.4.65 (Debian) Server at dl.tlapl.us Port 80