This is an automated email from the git hooks/post-receive script. lucas pushed a change to branch master in repository marionnet.
from c9ea72a d/control: remove myself from Uploaders new 2416155 New upstream version 0.90+bzr506 new 48b9e2a Merge tag 'upstream/0.90+bzr506' new 2fac9dc Refresh patches new ee72574 Initialize changelog new 2fd2a70 Add stricter dep on ocamlbricks new 08334c3 Add symlink to port-helper in $PATH new 7aeebcb Add xterm to Depends (Closes: #866606) new 91d3674 Mention Multiarch in README.Debian. Closes: #866607 new f74be64 Update changelog new 15bf7b1 Add patch from ceridwen.debian.b...@gmail.com to support building reproducibly. Closes: #818952 new e788444 Remove obsolete b-dep on dh-systemd new 3b8aa60 Bump debian/compat to 9 new 64e3f05 Bump Standards-version to 4.1.1. No changes needed. new eba6026 Remove duplicate license in debian/copyright new 154c694 New upstream version 0.90.6+bzr508 new a6af986 Merge tag 'upstream/0.90.6+bzr508' new 587e6fc Run wrap-and-sort -a new f540b79 Stricter dep on camlbricks new d0a54a9 Prepare changelog The 19 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference. Summary of changes: CONFIGME | 18 +- Makefile | 115 +- Makefile.local | 33 +- cable.ml | 50 +- chip/chip.ml | 820 ---- chip/chip.mli | 515 --- chip/chip_example.ml | 126 - chip/chip_parser_p4.ml | 421 -- chip/chip_parser_p4.old_version.ml | 529 --- chip/wGButton.ml | 91 - cloud.ml | 5 +- compatibility/forest_backward_compatibility.ml | 16 + configuration.ml | 7 + configuration.mli | 8 + cow_files.ml | 2 +- daemon_client.ml | 50 +- daemon_language.ml | 147 +- debian/README.Debian | 2 +- debian/changelog | 16 + debian/compat | 2 +- debian/control | 41 +- debian/copyright | 4 +- debian/marionnet.install | 4 +- ...e-installation-paths-for-Debian-packaging.patch | 14 +- .../patches/0003-Tweak-ocamldep-search-path.patch | 8 +- debian/patches/reproducible-build.patch | 23 + debian/patches/series | 1 + debian/rules | 10 + descendants_monitor.ml | 2 +- disk.ml | 63 +- disk.mli | 17 +- gettext.ml | 9 +- global_options.ml | 38 +- gui/gui_bricks.ml | 487 ++- gui/gui_bricks.mli | 122 +- gui/gui_dialog_A_PROPOS.ml | 2 +- gui/gui_dialog_toolkit.ml | 2 +- gui/gui_menubar_MARIONNET.ml | 55 +- gui/gui_source_editing.ml | 21 +- gui/gui_toolbar_COMPONENTS_layouts.ml | 2 +- gui/gui_toolbar_DOT_TUNING.ml | 23 +- gui/ledgrid.ml | 4 +- gui/ledgrid_manager.ml | 5 +- gui/menu_factory.ml | 2 +- gui/menu_factory.mli | 4 +- gui/simple_dialogs.ml | 25 +- gui/talking.ml | 211 +- gui/talking.mli | 100 +- hub.ml | 3 + initialization.ml | 16 +- machine.ml | 228 +- marionnet-daemon.ml | 371 +- marionnet.ml | 47 +- meta.ml.released | 12 +- motherboard.ml | 11 - motherboard_builder.ml | 300 +- motherboard_builder.mli | 3 +- po/messages.pot | 534 ++- router.ml | 799 +++- scripts/marionnet_telnet.sh | 129 + serial.ml | 8 +- share/images/README | 9 + share/images/ico.cable-serial-left-right.large.png | Bin 2680 -> 2680 bytes share/images/ico.cable-serial-left-right.small.png | Bin 979 -> 979 bytes share/images/ico.cable-serial.small.png | Bin 4903 -> 4903 bytes share/images/ico.cable-serial.xxl.png | Bin 19983 -> 19983 bytes share/images/ico.dado-no.24.png | Bin 1744 -> 1744 bytes share/images/ico.dado.24.png | Bin 1567 -> 1567 bytes share/images/ico.diffuser.orig.png | Bin 2744 -> 2744 bytes share/images/ico.hardware-gray.small.png | Bin 3186 -> 3186 bytes share/images/ico.resource-2.med.png | Bin 8111 -> 8111 bytes share/images/ico.script-analyse-3.med.png | Bin 5093 -> 5093 bytes share/images/ico.script-finish.med.png | Bin 5625 -> 5625 bytes share/images/ico.script-start-2.med.png | Bin 6798 -> 6798 bytes share/images/ico.snapshot.42x42.png | Bin 0 -> 2828 bytes share/images/ico.snapshot.svg | 4531 ++++++++++++++++++++ share/images/ico.software-gray.small.png | Bin 3126 -> 3126 bytes share/images/ico.uml-gray.small.png | Bin 2192 -> 2192 bytes share/images/ico.xml-16.inv.png | Bin 702 -> 702 bytes share/images/launcher-icons/marionnet-launcher.png | Bin 5414 -> 5414 bytes share/images/marionnet-launcher.png | Bin 5414 -> 5414 bytes share/marionnet.conf | 1 - share/quagga_zebra.lang | 307 ++ simulation_level.ml | 228 +- simulation_level.mli | 195 +- sketch.ml | 230 + sketch.mli | 74 + state.ml | 830 ++-- switch.ml | 73 +- icon.ml => task_runner.mli | 30 +- test_with_utop.sh | 64 + treeview.ml | 299 +- treeview_defects.ml | 24 +- treeview_documents.ml | 100 +- treeview_history.ml | 115 +- treeview_ifconfig.ml | 118 +- uml/guest/marionnet-relay | 43 +- uml/kernel/{CONFIG-3.2.48 => CONFIG-3.2.51} | 3 +- uml/kernel/{CONFIG-3.2.48 => CONFIG-3.2.64} | 197 +- uml/pupisto.buildroot/Makefile | 2 +- uml/pupisto.buildroot/README.buildroot | 19 + uml/pupisto.buildroot/pupisto.buildroot.sh | 4 +- .../pupisto.buildroot.sh.files/nanorc | 2 +- .../pupisto.buildroot.sh.files/quagga/bgpd.conf | 6 +- .../pupisto.buildroot.sh.files/quagga/isisd.conf | 7 +- .../pupisto.buildroot.sh.files/quagga/ospf6d.conf | 6 +- .../pupisto.buildroot.sh.files/quagga/ospfd.conf | 6 +- .../pupisto.buildroot.sh.files/quagga/quagga | 23 +- .../pupisto.buildroot.sh.files/quagga/ripd.conf | 6 +- .../pupisto.buildroot.sh.files/quagga/ripngd.conf | 6 +- .../pupisto.buildroot.sh.files/quagga/zebra.conf | 7 +- .../quagga/zebrasrv.conf | 6 +- uml/pupisto.common/toolkit_chroot.sh | 68 +- uml/pupisto.debian/Makefile | 2 +- uml/pupisto.debian/pupisto.debian.sh | 2 +- useful-scripts/marionnet_from_scratch | 136 +- user_level.ml | 401 +- user_level.mli | 673 +++ world_bridge.ml | 197 +- world_gateway.ml | 5 +- x.ml | 267 +- x.mli | 6 +- 122 files changed, 10966 insertions(+), 5095 deletions(-) delete mode 100644 chip/chip.ml delete mode 100644 chip/chip.mli delete mode 100644 chip/chip_example.ml delete mode 100644 chip/chip_parser_p4.ml delete mode 100644 chip/chip_parser_p4.old_version.ml delete mode 100644 chip/wGButton.ml create mode 100644 compatibility/forest_backward_compatibility.ml create mode 100644 debian/patches/reproducible-build.patch delete mode 100644 motherboard.ml create mode 100755 scripts/marionnet_telnet.sh create mode 100644 share/images/ico.snapshot.42x42.png create mode 100644 share/images/ico.snapshot.svg create mode 100644 share/quagga_zebra.lang create mode 100644 sketch.ml create mode 100644 sketch.mli copy icon.ml => task_runner.mli (52%) create mode 100755 test_with_utop.sh copy uml/kernel/{CONFIG-3.2.48 => CONFIG-3.2.51} (99%) copy uml/kernel/{CONFIG-3.2.48 => CONFIG-3.2.64} (86%) create mode 100644 user_level.mli -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/marionnet.git _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits